| de.uka.ilkd.key.java.expression.Operator de.uka.ilkd.key.java.expression.operator.TypeOperator
All known Subclasses: de.uka.ilkd.key.java.expression.operator.New, de.uka.ilkd.key.java.expression.operator.TypeCast, de.uka.ilkd.key.java.expression.operator.ExactInstanceof, de.uka.ilkd.key.java.expression.operator.Instanceof, de.uka.ilkd.key.java.expression.operator.NewArray,
TypeOperator | public TypeOperator(ExtList children)(Code) | | Constructor for the transformation of COMPOST ASTs to KeY.
Parameters: children - the children of this AST element as KeY classes.May contain:a TypeReference (the referred type)2 of Expression (the first Expression as left handside, the second as right hand side), Comments |
TypeOperator | public TypeOperator(ExtList children, PositionInfo pi)(Code) | | Constructor for the transformation of COMPOST ASTs to KeY.
Parameters: children - the children of this AST element as KeY classes.May contain:a TypeReference (the referred type)2 of Expression (the first Expression as left handside, the second as right hand side), Comments |
TypeOperator | public TypeOperator()(Code) | | |
getTypeReference | public TypeReference getTypeReference()(Code) | | Get type reference.
the type reference. |
getTypeReferenceCount | public int getTypeReferenceCount()(Code) | | Get the number of type references in this container.
the number of type references. |
|
|