esmeta
API
Generated with
esmeta/esmeta/esmeta.analyzer/esmeta.analyzer.tychecker/TypeGuardDecl/RefinePoint

RefinePoint

esmeta.analyzer.tychecker.TypeGuardDecl.RefinePoint
case class RefinePoint(target: RefinementTarget, child: Provenance, base: Option[Base], branch: Option[Boolean], refined: Option[ValueTy], varRefined: Option[ValueTy]) extends Provenance

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Provenance
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def depth: Int
def leafCnt: Int
def size: Int
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any
def toTree(indent: Int): String

Inherited methods

def &&(that: Provenance): Provenance

Attributes

Inherited from:
Provenance
def <=(that: Provenance): Boolean

Attributes

Inherited from:
Provenance
def canonical: Provenance

Attributes

Inherited from:
Provenance
def existsDuplicateCall(c: Call): Boolean

Attributes

Inherited from:
Provenance
def forReturn(call: Call, ty: ValueTy): Provenance

Attributes

Inherited from:
Provenance
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def replaceCall(call: Call, ty: ValueTy): Provenance

Attributes

Inherited from:
Provenance
def toTree: String

Attributes

Inherited from:
Provenance
final def truthOpt: Option[Boolean]

Attributes

Inherited from:
Provenance
def usedForRefine(target: RefinementTarget, base: Base, refinedTo: ValueTy, refinedVarTy: ValueTy): Provenance

Attributes

Inherited from:
Provenance
def ||(that: Provenance): Provenance

Attributes

Inherited from:
Provenance

Concrete fields

lazy val ty: ValueTy
Generated with