public class SchemaTypeReference extends TypeReferenceImp implements AbstractProgramElement
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
fullName |
dimensions, name, prefix
Constructor and Description |
---|
SchemaTypeReference(ProgramElementName name,
int dimension,
ReferencePrefix prefix) |
Modifier and Type | Method and Description |
---|---|
ProgramElement |
getConcreteProgramElement(Services services) |
KeYJavaType |
getKeYJavaType() |
KeYJavaType |
getKeYJavaType(Services services) |
MatchConditions |
match(SourceData source,
MatchConditions matchCond)
matches the source "text" (@link SourceData#getSource()) against the pattern represented
by this object.
|
void |
prettyPrint(PrettyPrinter p)
Pretty printing the source element.
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
getChildAt, getChildCount, getDimensions, getExpressionAt, getExpressionCount, getFirstElement, getFirstElementIncludingBlocks, getName, getPackageReference, getProgramElementName, getReferencePrefix, getTypeReferenceAt, getTypeReferenceCount
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, matchChildren
getComments, hashCode, prettyPrintMain, reuseSignature
getEndPosition, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition
public SchemaTypeReference(ProgramElementName name, int dimension, ReferencePrefix prefix)
public KeYJavaType getKeYJavaType()
getKeYJavaType
in interface TypeReference
getKeYJavaType
in class TypeReferenceImp
public KeYJavaType getKeYJavaType(Services services)
public ProgramElement getConcreteProgramElement(Services services)
getConcreteProgramElement
in interface AbstractProgramElement
public MatchConditions match(SourceData source, MatchConditions matchCond)
ProgramElement
MatchConditions
with
the found instantiations of the schemavariables. If the match
failed, null is returned instead.match
in interface ProgramElement
match
in class TypeReferenceImp
source
- the SourceData with the program element to matchmatchCond
- the MatchConditions found up to this pointpublic void visit(Visitor v)
visit
in interface SourceElement
visit
in class TypeReferenceImp
v
- the Visitorpublic void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class TypeReferenceImp
p
- a pretty printer.java.io.IOException
- occasionally thrown.