jltools.types
Interface TypeObject

All Superinterfaces:

java.lang.Cloneable, Copy, java.io.Serializable

All Known Subinterfaces:

ActsForConstraint, AnonClassType, ArgLabel, ArgPrincipal, ArrayType, AuthConstraint, CallerConstraint, ClassType, CodeInstance, Constraint, ConstructorInstance, CovariantLabel, DynamicArgLabel, DynamicLabel, DynamicPrincipal, DynrecLabel, ExternalPrincipal, FieldInstance, InitializerInstance, InnerClassType, JifClassType, JifConstructorInstance, JifFieldInstance, JifInstType, JifLocalInstance, JifMethodInstance, JifParsedPolyType, JifPolyType, JifProcedureInstance, JifVarInstance, JoinLabel, Label, LabeledType, LabelOfVar, LoadedClassType, LocalClassType, LocalInstance, MemberClassType, MemberInstance, MethodInstance, NamedQualifier, NamedType, NotTaken, NullType, Package, Param, ParamInstance, ParamLabel, ParamPrincipal, ParsedAnonClassType, ParsedClassType, ParsedInnerClassType, ParsedLocalClassType, ParsedMemberClassType, ParsedTopLevelClassType, ParsedType, PolicyLabel, PrimitiveType, Principal, PrincipalInstance, ProcedureInstance, Qualifier, ReferenceType, RuntimeLabel, TopLabel, TopLevelClassType, Type, UnknownLabel, UnknownParam, UnknownPrincipal, UnknownQualifier, UnknownType, VarInstance, VarLabel

All Known Implementing Classes:

TypeObject_c

public interface TypeObject

extends Copy, java.io.Serializable

A TypeObject is an entity created by the type system.

Method Summary

boolean	isCanonical()
Position	position()
TypeObject	restore()
TypeSystem	typeSystem()

Methods inherited from interface jltools.util.Copy

copy

Method Detail

isCanonical

public boolean isCanonical()

typeSystem

public TypeSystem typeSystem()

position

public Position position()

restore

public TypeObject restore()
                   throws SemanticException