SpaceEngine

class SpaceEngine(using `x$1`: Context) extends SpaceLogic

Scala implementation of space logic

trait Matchable

class Any

Value members

Abstract sealed types, or-types, Boolean and Java enums can be decomposed

Whether the extractor covers the given type

Decompose a type into subspaces -- assume the type can be decomposed

Does the given tree stand for the literal null?

Does the given space contain just the value null?

Is tp1 a subtype of tp2?

Return the space that represents the pattern pat

Space of the pattern: unapplySeq(a, b, c: _*)

Whether the counterexample is satisfiable. The space is flattened and non-empty.

Display spaces

Show friendly type name with current scope in mind

E.g. C.this.B --> B if current owner is C C.this.x.T --> x.T if current owner is C X[T] --> X C --> C if current owner is C !!!

Parameter types of the case class type tp. Adapted from unapplyPlan in patternMatcher

Flatten space to get rid of Or for pretty print

Intersection of two spaces

Is a a subspace of b? Equivalent to a - b == Empty, but faster

The space of a not covered by b

Simplify space using the laws, there's no nested union after simplify

Value Params

aggressive: if true and OR space has less than 5 components, simplify will collapse sp1 | sp2 to sp1 if sp2 is a subspace of sp1. This reduces noise in counterexamples.

Inherited from

SpaceLogic