t

deltas.statement

StatementInstance

trait StatementInstance extends Delta with HasConstraintsDelta with ControlFlowDelta

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. StatementInstance
  2. ControlFlowDelta
  3. HasConstraintsDelta
  4. HasConstraints
  5. HasShape
  6. Delta
  7. Key
  8. Contract
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def collectConstraints(compilation: Compilation, builder: ConstraintBuilder, path: NodePath, parentScope: Scope): Unit
    Definition Classes
    HasConstraints
  2. abstract def description: String
    Definition Classes
    Delta
  3. abstract def shape: NodeShape
    Definition Classes
    HasShape

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  6. def debugRepresentation: String
    Definition Classes
    Key
  7. def definedVariables(compilation: Compilation, obj: Node): Map[String, Node]
  8. def dependencies: Set[Contract]
    Definition Classes
    StatementInstance → Contract
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  11. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  12. def getControlFlowGraph(language: Language, statement: NodePath, labels: Map[Any, NodePath]): ControlFlowGraph
    Definition Classes
    ControlFlowDelta
  13. def getDirectClassName(shape: Class[_]): String
    Attributes
    protected
    Definition Classes
    Key
  14. def getLabels(language: Language, obj: NodePath): Map[Any, NodePath]

    Returns a map of labels to statements.

    Returns a map of labels to statements. Can be used for jumping to a particular statement based on that label.

    Definition Classes
    ControlFlowDelta
  15. def hashCode(): Int

    This hashcode does not change over runs, while the default hashcode does.

    This hashcode does not change over runs, while the default hashcode does. This makes the compilation process more deterministic.

    Definition Classes
    Key → AnyRef → Any
  16. def inject(language: Language): Unit
    Definition Classes
    StatementInstance → ControlFlowDelta → HasConstraintsDelta → Delta
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. def name: String
    Definition Classes
    Contract
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  22. def splitCamelCase(input: String): String
    Definition Classes
    Contract
  23. def suffix: String
    Definition Classes
    Delta → Contract
  24. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  25. def toString(): String
    Definition Classes
    Contract → AnyRef → Any
  26. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  27. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  28. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from ControlFlowDelta

Inherited from HasConstraintsDelta

Inherited from HasConstraints

Inherited from HasShape

Inherited from Delta

Inherited from Key

Inherited from Contract

Inherited from AnyRef

Inherited from Any

Ungrouped