class TermContainer extends ObjContainer[Term] with AbstractTermContainer
- Alphabetic
- By Inheritance
- TermContainer
- AbstractTermContainer
- ObjContainer
- AbstractObjectContainer
- ComponentContainer
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new TermContainer()
Type Members
-
type
ThisType = TermContainer
- Definition Classes
- TermContainer → ObjContainer
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
-
def
analyzed: Option[Term]
the analyzed representation after type and argument reconstruction (if non-dirty)
the analyzed representation after type and argument reconstruction (if non-dirty)
- Definition Classes
- ObjContainer
-
def
analyzed_=(t: Term): Boolean
- Definition Classes
- ObjContainer
-
def
analyzed_=(t: Option[Term]): Boolean
setter for the analyzed representation
setter for the analyzed representation
- Definition Classes
- ObjContainer
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
checkNeeded: Boolean
true if the analyzed part is dirty or a previous check did not succeed
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
copy: ThisType
creates a deep copy of this container, dirty parts are dropped
creates a deep copy of this container, dirty parts are dropped
- Definition Classes
- ObjContainer
-
def
delete: Unit
delete this component
delete this component
- Definition Classes
- ObjContainer → ComponentContainer
-
lazy val
dependsOn: HashSet[CPath]
stores the set of components that analysis depended on
stores the set of components that analysis depended on
- Definition Classes
- ObjContainer
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
equivalentTo(that: ComponentContainer): Boolean
true if two containers have the same content
true if two containers have the same content
- Definition Classes
- ComponentContainer
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
get: Option[Term]
getter for the best available non-dirty representation: analyzed or parsed
getter for the best available non-dirty representation: analyzed or parsed
- Definition Classes
- ObjContainer → AbstractObjectContainer
-
def
getAnalyzedIfFullyChecked: Option[Term]
returns the analyzed term if it has been successfully and completely checked
returns the analyzed term if it has been successfully and completely checked
- Definition Classes
- TermContainer → ObjContainer
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hasSameType(oc: ObjContainer[_]): Boolean
checks if a container stores objects of the same type
checks if a container stores objects of the same type
- Attributes
- protected
- Definition Classes
- TermContainer → ObjContainer
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
isAnalyzedDirty: Boolean
true if the term must be (re)analyzed
true if the term must be (re)analyzed
- Definition Classes
- ObjContainer
-
def
isDefined: Boolean
true if any dimension is present, i.e., if the component is present
true if any dimension is present, i.e., if the component is present
- Definition Classes
- ObjContainer → ComponentContainer
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isParsedDirty: Boolean
true if the term must still be (re)parsed
true if the term must still be (re)parsed
- Definition Classes
- ObjContainer
-
def
lastChangeAnalyzed: Long
time of the last change
time of the last change
- Definition Classes
- ObjContainer
-
def
lastChangeParsed: Long
time of the last change
time of the last change
- Definition Classes
- ObjContainer
-
def
map(f: (Term) ⇒ Term): TermContainer
applies a function to the contained Term and returns a new TermContainer
-
def
merge(that: ThisType): ThisType
- Definition Classes
- ObjContainer
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
newEmpty: TermContainer
creates a new empty container for the same type
creates a new empty container for the same type
- Attributes
- protected
- Definition Classes
- TermContainer → ObjContainer
-
def
normalize(normFun: (Term) ⇒ Term): Unit
sets the normalized representation (if not already set) using a normalization function Because normalization is need-based, this should be called, if possible, before accessing the normalized representation.
sets the normalized representation (if not already set) using a normalization function Because normalization is need-based, this should be called, if possible, before accessing the normalized representation.
- Definition Classes
- ObjContainer
-
def
normalized: Option[Term]
the normalized representation after type and argument reconstruction (if non-dirty)
the normalized representation after type and argument reconstruction (if non-dirty)
This is not always computed, and even if it is, it is not returned by default by the get method. It is intended for optimizations where the normalized form of a Term would otherwise have to be recomputed.
- Definition Classes
- ObjContainer
-
def
normalized_=(t: Option[Term]): Boolean
setter for the normalized representation
setter for the normalized representation
- Definition Classes
- ObjContainer
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
parsed: Option[Term]
the parsed representation without further analysis (if non-dirty)
the parsed representation without further analysis (if non-dirty)
- Definition Classes
- ObjContainer
-
def
parsed_=(t: Term): Unit
- Definition Classes
- ObjContainer
-
def
parsed_=(t: Option[Term]): Boolean
setter for the parsed representation without further analysis
setter for the parsed representation without further analysis
- Definition Classes
- ObjContainer
-
def
read: Option[String]
the unparsed string representation
the unparsed string representation
- Definition Classes
- ObjContainer
-
def
read_=(s: String): Unit
- Definition Classes
- ObjContainer
-
def
read_=(s: Option[String]): Boolean
setter for the unparsed string representation
setter for the unparsed string representation
- Definition Classes
- ObjContainer
-
def
set(t: Term): Unit
clears the contents of this component and sets it to a new value
clears the contents of this component and sets it to a new value
- Definition Classes
- ObjContainer
-
def
setAnalyzedDirty: Unit
marks this term for re-analysis
marks this term for re-analysis
- Definition Classes
- ObjContainer
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- ObjContainer → AnyRef → Any
-
def
update(tc: ComponentContainer): Boolean
copies over the non-dirty components of another TermContainer dependent dimensions that are not part of tc become dirty
copies over the non-dirty components of another TermContainer dependent dimensions that are not part of tc become dirty
- returns
true if a change took place
- Definition Classes
- ObjContainer → ComponentContainer
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()