trait RefinedTypeLevelFieldAccessInstructions extends TypeLevelFieldAccessInstructions with PropertyStoreBased
Queries the project information to identify fields with refined field type information.
- Self Type
- RefinedTypeLevelFieldAccessInstructions with ReferenceValuesDomain with ValuesFactory with Configuration with TheProject
- Source
- RefinedTypeLevelFieldAccessInstructions.scala
- Alphabetic
- By Inheritance
- RefinedTypeLevelFieldAccessInstructions
- PropertyStoreBased
- TheProject
- LogContextProvider
- ThePropertyStore
- TypeLevelFieldAccessInstructions
- FieldAccessesDomain
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
- abstract val UsedPropertiesBound: SinglePropertiesBoundType
The type of the bound of the properties that are used.
The type of the bound of the properties that are used.
- Definition Classes
- PropertyStoreBased
- Note
We are restricted to
SinglePropertiesBoundType
to facilitate matching the bounds.
- abstract val dependees: EOptionPSet[Entity, Property]
- Definition Classes
- PropertyStoreBased
- implicit abstract def project: SomeProject
Returns the project that is currently analyzed.
Returns the project that is currently analyzed.
- Definition Classes
- TheProject
Concrete 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
- implicit final def classHierarchy: ClassHierarchy
Returns the project's class hierarchy.
Returns the project's class hierarchy.
- Definition Classes
- TheProject
- Annotations
- @inline()
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- def doGetfield(pc: Int, objectref: (RefinedTypeLevelFieldAccessInstructions.this)#DomainValue, fieldValue: (RefinedTypeLevelFieldAccessInstructions.this)#DomainValue): Computation[(RefinedTypeLevelFieldAccessInstructions.this)#DomainValue, (RefinedTypeLevelFieldAccessInstructions.this)#ExceptionValue]
- Definition Classes
- TypeLevelFieldAccessInstructions
- def doGetstatic(pc: Int, fieldValue: (RefinedTypeLevelFieldAccessInstructions.this)#DomainValue): Computation[(RefinedTypeLevelFieldAccessInstructions.this)#DomainValue, Nothing]
- Definition Classes
- TypeLevelFieldAccessInstructions
- 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() @IntrinsicCandidate()
- def getfield(pc: PC, objectref: (RefinedTypeLevelFieldAccessInstructions.this)#DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[(RefinedTypeLevelFieldAccessInstructions.this)#DomainValue, (RefinedTypeLevelFieldAccessInstructions.this)#ExceptionValue]
Returns the field's value and/or a new
NullPointerException
if the givenobjectref
represents the valuenull
.Returns the field's value and/or a new
NullPointerException
if the givenobjectref
represents the valuenull
.- returns
The field's value or a new
NullPointerException
.
- Definition Classes
- RefinedTypeLevelFieldAccessInstructions → TypeLevelFieldAccessInstructions → FieldAccessesDomain
- def getstatic(pc: PC, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[(RefinedTypeLevelFieldAccessInstructions.this)#DomainValue, Nothing]
Returns the field's value.
Returns the field's value.
- Definition Classes
- RefinedTypeLevelFieldAccessInstructions → TypeLevelFieldAccessInstructions → FieldAccessesDomain
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- implicit final def logContext: LogContext
- Definition Classes
- TheProject → LogContextProvider
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- implicit final lazy val propertyStore: PropertyStore
- Definition Classes
- TheProject → ThePropertyStore
- def putfield(pc: Int, objectref: (RefinedTypeLevelFieldAccessInstructions.this)#DomainValue, value: (RefinedTypeLevelFieldAccessInstructions.this)#DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, (RefinedTypeLevelFieldAccessInstructions.this)#ExceptionValue]
Sets the field's value if the given
objectref
is notnull
(in the Domain).Sets the field's value if the given
objectref
is notnull
(in the Domain). In the latter case aNullPointerException
is thrown.- Definition Classes
- TypeLevelFieldAccessInstructions → FieldAccessesDomain
- def putstatic(pc: Int, value: (RefinedTypeLevelFieldAccessInstructions.this)#DomainValue, declaringClass: ObjectType, fieldName: String, fieldType: FieldType): Computation[Nothing, Nothing]
Sets the field's value.
Sets the field's value.
- Definition Classes
- TypeLevelFieldAccessInstructions → FieldAccessesDomain
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def usesProperties: Set[PropertyKind]
The properties potentially queried by this domain.
The properties potentially queried by this domain. I.e., it must list all properties that are potentially queried by any instance.
This method must call its super method and accumulate the results (we have stackable traits!).
- Definition Classes
- RefinedTypeLevelFieldAccessInstructions → PropertyStoreBased
- final def usesPropertyBounds: Set[PropertyBounds]
- Definition Classes
- PropertyStoreBased
- 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])
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated