object StateVariableDeclarationDelta extends DeltaWithGrammar with HasConstraintsDelta
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- StateVariableDeclarationDelta
- HasConstraintsDelta
- HasConstraints
- HasShape
- DeltaWithGrammar
- Delta
- Key
- Contract
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
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, path: NodePath, parentScope: Scope): Unit
- Definition Classes
- StateVariableDeclarationDelta → HasConstraints
- def debugRepresentation: String
- Definition Classes
- Key
- def dependencies: Set[Contract]
- Definition Classes
- StateVariableDeclarationDelta → Contract
- def description: String
- Definition Classes
- StateVariableDeclarationDelta → 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 getDirectClassName(shape: Class[_]): String
- Attributes
- protected
- Definition Classes
- Key
- 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
- HasConstraintsDelta → 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()
- def shape: Shape
- Definition Classes
- StateVariableDeclarationDelta → 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, language: Language): Unit
- Definition Classes
- StateVariableDeclarationDelta → 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 Initializer extends NodeField
- object Modifiers extends NodeField
- object Shape extends NodeShape
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.