Uses of Class
org.multijava.mjc.CUniverse

Packages that use CUniverse

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.util.classfile	Provides an editor for classfiles used by MultiJava and the Java Modeling Language.

Uses of CUniverse in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return CUniverse

CUniverse	JmlParser.jUniversePeerSpec()
CUniverse	JmlParser.mjUniversePeerSpec()
CUniverse	JmlParser.jmlUniversePeerSpec()
CUniverse	JmlParser.jUniverseRepSpec()
CUniverse	JmlParser.mjUniverseRepSpec()
CUniverse	JmlParser.jmlUniverseRepSpec()
CUniverse	JmlParser.jUniverseReadonlySpec()
CUniverse	JmlParser.mjUniverseReadonlySpec()
CUniverse	JmlParser.jmlUniverseReadonlySpec()
CUniverse	JmlParser.jUniverseType()
CUniverse	JmlParser.jUniverseSpec()
CUniverse	JmlParser.mjUniverseImplicitPeerSpec()
CUniverse	JmlParser.jUniverseExceptionSpec()
CUniverse	JmlParser.mjUniverseImplicitReadonlySpec()

Methods in org.jmlspecs.checker with parameters of type CUniverse

CClassType	JmlParser.jTypeName(CUniverse elem_univ)
CClassType	JmlParser.jClassTypeSpec(CUniverse elem_univ, CUniverse array_univ)
CType	JmlParser.jBuiltInTypeSpec(CUniverse array_univ)
CType	JmlParser.jType(CUniverse elem_univ)

Constructors in org.jmlspecs.checker with parameters of type CUniverse

JmlArrayDimsAndInits(TokenReference where, CUniverse array_univ, JExpression[] dims, JArrayInitializer init, long mods)
Constructs an array dimension and initializer node in the AST

Uses of CUniverse in org.multijava.mjc

Subclasses of CUniverse in org.multijava.mjc

class	CUniverseImplicitPeer This class implements a peer/ground/default universe.
class	CUniverseImplicitReadonly Implements the readonly universe.
class	CUniversePeer This class implements a peer/ground/default universe.
class	CUniverseReadonly Implements the readonly universe.
class	CUniverseRep Implements the rep universe that specifies the representation of the current object.

Fields in org.multijava.mjc declared as CUniverse

protected CUniverse	CClassType.universe Stores the universe modifier that is attached with this class type.
private CUniverse	JNameExpression.universe The universe associated with the type name.
private CUniverse	JClassFieldExpression.prefix_universe
private CUniverse	JClassFieldExpression.field_universe
private CUniverse	JClassFieldExpression.result_universe
private CUniverse	JArrayDimsAndInits.array_universe

Methods in org.multijava.mjc that return CUniverse

CUniverse	CClassType.getCUniverse() Return the universe of this class type.
private CUniverse	JMethodCallExpression.typecheckUniverseNonPureOnPivot(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a non-pure method call that is performed through a pivot, i.e. not on this.
private CUniverse	JMethodCallExpression.typecheckUniversePureOnPivot(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a pure method call that is performed through a pivot, i.e. not on this.
private CUniverse	JMethodCallExpression.typecheckUniverseMethodOnThis(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a method call that is performed on this, the current object, regardless of whether the call is pure or not.
static CUniverse	CUniverse.combine(CUniverse first, CUniverse second) Combine two given universes and return the result universe.
CUniverse	CUniverseTypeAnnotation.getUniverse() Return the universe represented by this annotation.
CUniverse	CUniverseTypeAnnotation.getBaseUniverse() Return the universe of the base type (if this is an array).
CUniverse	MjcParser.jUniverseSpec()
CUniverse	MjcParser.jUniversePeerSpec()
CUniverse	MjcParser.jUniverseRepSpec()
CUniverse	MjcParser.jUniverseReadonlySpec()
CUniverse	MjcParser.jUniverseType()
CUniverse	MjcParser.jUniverseExceptionSpec()
CUniverse	MjcParser.mjUniverseImplicitReadonlySpec()
CUniverse	MjcParser.mjUniversePeerSpec()
CUniverse	MjcParser.mjUniverseImplicitPeerSpec()
CUniverse	MjcParser.mjUniverseRepSpec()
CUniverse	MjcParser.mjUniverseReadonlySpec()

Methods in org.multijava.mjc with parameters of type CUniverse

static CClassType	CTopLevel.getTypeRep(String name, CUniverse univ, boolean isFullyQualified) getTypeRep with a universe parameter and no arguments.
static CClassType	CTopLevel.getTypeRep(String name, CUniverse univ, CClassType[][] arguments, boolean isFullyQualified) getTypeRep with a universe parameter and arguments.
void	CClassType.setCUniverse(CUniverse univ) Set the universe of this class type.
private CUniverse	JMethodCallExpression.typecheckUniverseNonPureOnPivot(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a non-pure method call that is performed through a pivot, i.e. not on this.
private CUniverse	JMethodCallExpression.typecheckUniversePureOnPivot(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a pure method call that is performed through a pivot, i.e. not on this.
private CUniverse	JMethodCallExpression.typecheckUniverseMethodOnThis(CExpressionContextType context, CUniverse prefix_universe) Check the properties of a method call that is performed on this, the current object, regardless of whether the call is pure or not.
private void	JMethodCallExpression.checkParameterUniverses(CExpressionContextType context, CUniverse prefix_universe, boolean non_pure_through_pivot) Check the universe types of the parameters.
abstract boolean	CUniverse.isAlwaysAssignableTo(CUniverse other) Tests whether the current universe can be assigned to the given universe.
static CUniverse	CUniverse.combine(CUniverse first, CUniverse second) Combine two given universes and return the result universe.
CClassType	TypeLoader.getTypeRep(String name, CUniverse univ, CClassType[][] arguments, boolean isFullyQualified) Returns the lightweight type representation of the class with the given name, generating a new one if necessary.
private static boolean	TypeLoader.mayShare(CClassType type, CUniverse univ, CClassType[][] arguments) Returns whether the given type can be shared by another type having the given univ and type arguments.
boolean	CUniversePeer.isAlwaysAssignableTo(CUniverse other) A peer is only assignable to another peer or to a readonly reference.
boolean	CUniverseReadonly.isAlwaysAssignableTo(CUniverse other) A readonly reference is only assignable to another readonly reference.
boolean	CUniverseRep.isAlwaysAssignableTo(CUniverse other) A rep universe is assignable to another rep universe or to a readonly reference.
CClassType	MjcParser.jClassTypeSpec(CUniverse elem_univ, CUniverse array_univ)
CType	MjcParser.jBuiltInTypeSpec(CUniverse array_univ)
CClassType	MjcParser.jTypeName(CUniverse elem_univ)
CType	MjcParser.jType(CUniverse elem_univ)

Constructors in org.multijava.mjc with parameters of type CUniverse

CClassType(CClass clazz, CUniverse univ)
Construct a class type with a universe.

CClassNameType(String maybeQualifiedName, CUniverse univ, CClassType[][] arguments)
Construct a class type.

CClassFQNameType(String fullyQualifiedName, CUniverse univ, CClassType[][] arguments)

JTypeNameExpression(TokenReference where, String qualifiedName, CUniverse univ, JNameExpression sourceName)
Constructs a node in the parsing tree.

JNameExpression(TokenReference where, String ident, CUniverse univ)
Constructs a node in the parsing tree.

JNameExpression(TokenReference where, JExpression prefix, String ident, CUniverse univ)
Constructs a node in the parsing tree.

JArrayDimsAndInits(TokenReference where, CUniverse array_univ, JExpression[] dims, JArrayInitializer init)
Constructs an array dimension and initializer node in the AST

CArrayType(CType baseType, int arrayBound, CUniverse array_univ)
Constructs an array type with universe modifier for the whole array.

Uses of CUniverse in org.multijava.util.classfile

Methods in org.multijava.util.classfile that return CUniverse

static CUniverse	UniverseByteConstants.toUniverse(byte byteConstant) Returns an instance of the universe represented by a given byte constant.
static CUniverse	UniverseByteConstants.toBaseUniverse(byte byteConstant) Returns an instance of the universe represented by a a given byte constant.

Methods in org.multijava.util.classfile with parameters of type CUniverse

static byte	UniverseByteConstants.buildConstant(CUniverse univ) Build byte constant from a given universe.
static byte	UniverseByteConstants.buildConstant(CUniverse univ, CUniverse base_univ) Build byte constant from a pair of universes (array type).