object LocalDeclarationDelta extends StatementInstance with DeltaWithGrammar
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- LocalDeclarationDelta
- DeltaWithGrammar
- StatementInstance
- ControlFlowDelta
- HasConstraintsDelta
- HasConstraints
- HasShape
- Delta
- Key
- Contract
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- implicit class LocalDeclaration[T <: NodeLike] extends NodeWrapper[T] with HasName[T]
- case class VariableAlreadyDefined(variable: String) extends BadInputException with Product with Serializable
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- def collectConstraints(compilation: Compilation, builder: ConstraintBuilder, statement: NodePath, parentScope: Scope): Unit
- Definition Classes
- LocalDeclarationDelta → HasConstraints
- def debugRepresentation: String
- Definition Classes
- Key
- def declaration(name: String, _type: Node): Node
- def definedVariables(compilation: Compilation, declaration: Node): Map[String, Node]
- Definition Classes
- LocalDeclarationDelta → StatementInstance
- def dependencies: Set[Contract]
- Definition Classes
- LocalDeclarationDelta → StatementInstance → Contract
- def description: String
- Definition Classes
- LocalDeclarationDelta → Delta
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def getControlFlowGraph(language: Language, statement: NodePath, labels: Map[Any, NodePath]): ControlFlowGraph
- Definition Classes
- ControlFlowDelta
- def getDirectClassName(shape: Class[_]): String
- Attributes
- protected
- Definition Classes
- Key
- 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
- 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
- def inject(language: Language): Unit
- Definition Classes
- DeltaWithGrammar → Delta
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def name: String
- Definition Classes
- Contract
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- val shape: Shape.type
- Definition Classes
- LocalDeclarationDelta → HasShape
- def splitCamelCase(input: String): String
- Definition Classes
- Contract
- def suffix: String
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- Contract → AnyRef → Any
- def transformGrammars(grammars: LanguageGrammars, state: Language): Unit
- Definition Classes
- LocalDeclarationDelta → DeltaWithGrammar
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- object Shape extends NodeShape
- object Type extends NodeField
- object WithoutSemiColon extends GrammarKey
Deprecated Value Members
- 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.