o

deltas.bytecode.types

TypeSkeleton

object TypeSkeleton extends DeltaWithGrammar

Linear Supertypes
DeltaWithGrammar, Delta, Key, Contract, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TypeSkeleton
  2. DeltaWithGrammar
  3. Delta
  4. Key
  5. Contract
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. trait HasSuperTypes extends AnyRef

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. val byteCodeInstances: ShapeProperty[ByteCodeTypeInstance]
  6. def checkAssignableTo(language: Language)(to: Node, from: Node): Unit
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  8. def debugRepresentation: String
    Definition Classes
    Key
  9. def dependencies: Set[Contract]
    Definition Classes
    TypeSkeleton → Contract
  10. def description: String
    Definition Classes
    TypeSkeleton → Delta
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  13. def fromConstraintType(_type: Type): Node
  14. def getAllSuperTypes(state: Language)(_type: Node): LazyList[Set[Node]]
  15. def getByteCodeString(language: Language)(_type: Node): String
  16. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  17. def getDirectClassName(shape: Class[_]): String
    Attributes
    protected
    Definition Classes
    Key
  18. def getSuperTypes(language: Language)(_type: Node): Seq[Node]
  19. def getType(compilation: Compilation, builder: ConstraintBuilder, _type: NodeLike, parentScope: Scope): Type
  20. def getTypeSize(_type: Node, language: Language): Int
  21. val hasStackSize: ShapeProperty[Int]
  22. val hasSuperTypes: ShapeProperty[HasSuperTypes]
  23. val hasTypes: ShapeProperty[HasType]
  24. 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
  25. def inject(language: Language): Unit
    Definition Classes
    DeltaWithGrammar → Delta
  26. def isAssignableTo(language: Language)(to: Node, from: Node): Boolean
  27. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  28. val maps: HashMap[Any, (Type) => Node]
  29. def name: String
    Definition Classes
    Contract
  30. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  33. def splitCamelCase(input: String): String
    Definition Classes
    Contract
  34. def suffix: String
    Definition Classes
    Delta → Contract
  35. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  36. def toStackType(_type: Node, language: Language): Node
  37. def toString(): String
    Definition Classes
    Contract → AnyRef → Any
  38. def transformGrammars(grammars: LanguageGrammars, state: Language): Unit
    Definition Classes
    TypeSkeleton → DeltaWithGrammar
  39. val typeInstances: ShapeProperty[TypeInstance]
  40. val typeKind: PrimitiveType
  41. def union(state: Language)(first: Node, second: Node): Node
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  44. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  45. object ByteCodeTypeGrammar extends GrammarKey
  46. object JavaTypeGrammar extends GrammarKey

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 DeltaWithGrammar

Inherited from Delta

Inherited from Key

Inherited from Contract

Inherited from AnyRef

Inherited from Any

Ungrouped