ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

Uses of Class
javafe.tc.TypeSig

Packages that use TypeSig
escjava   
escjava.backpred   
escjava.gui   
escjava.tc   
escjava.translate   
javafe   
javafe.tc   
 

Uses of TypeSig in escjava
 

Methods in escjava with parameters of type TypeSig
private  void Main.processTypeDeclElem(TypeDeclElem te, TypeSig sig, InitialState initState)
          Run stages 3+..6 as requested on a TypeDeclElem.
private  java.lang.String Main.processRoutineDecl(RoutineDecl r, TypeSig sig, InitialState initState)
          Run stages 3+..6 as requested on a RoutineDeclElem; returns a short (~ 1 word) status message.
 

Uses of TypeSig in escjava.backpred
 

Fields in escjava.backpred declared as TypeSig
 TypeSig FindContributors.originType
          Our origin type; used to determine visibility and accessibility when needed.
 

Methods in escjava.backpred with parameters of type TypeSig
(package private)  void FindContributors.typecheck(TypeSig sig)
          Make sure a given TypeSig has been type checked, type checking it if necessary.
 

Constructors in escjava.backpred with parameters of type TypeSig
FindContributors(TypeSig T)
          Generate the contributors for a given TypeSig.
 

Uses of TypeSig in escjava.gui
 

Fields in escjava.gui declared as TypeSig
 TypeSig GUI.TDTreeValue.sig
           
 

Uses of TypeSig in escjava.tc
 

Subclasses of TypeSig in escjava.tc
 class TypeSig
           
 

Methods in escjava.tc that return TypeSig
protected  TypeSig Types.makeTypeSigInstance(java.lang.String simpleName, Env enclosingEnv, TypeDecl decl)
           
protected  TypeSig Types.makeTypeSigInstance(java.lang.String[] packageName, java.lang.String simpleName, TypeSig enclosingType, TypeDecl decl, CompilationUnit cu)
           
 TypeSig PrepTypeDeclaration.getRootInterface()
           
 TypeSig EnvForGhostLocals.getEnclosingClass()
          Return the intermost class enclosing the code that is checked in this environment.
 TypeSig EnvForGhostLocals.getEnclosingInstance()
          If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance.
 TypeSig EnvForGhostLocals.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 TypeSig EnvForGhostLocals.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
 

Methods in escjava.tc with parameters of type TypeSig
 FieldDecl TypeSig.lookupField(Identifier id, TypeSig caller)
           
protected  TypeSig Types.makeTypeSigInstance(java.lang.String[] packageName, java.lang.String simpleName, TypeSig enclosingType, TypeDecl decl, CompilationUnit cu)
           
 boolean TypeCheck.canAccess(TypeSig from, TypeSig target, int modifiers, ModifierPragmaVec pmodifiers)
          Override TypeCheck.canAccess(javafe.tc.TypeSig, javafe.tc.TypeSig, int, javafe.ast.ModifierPragmaVec) to account for spec_public.
 void PrepTypeDeclaration.prepStart(TypeSig sig, TypeDecl decl)
           
 void PrepTypeDeclaration.prepEnd(TypeSig sig, TypeDecl decl)
           
protected  void PrepTypeDeclaration.checkSuperInterfaces(TypeSig sig, TypeNameVec superInterfaces)
           
protected  void PrepTypeDeclaration.visitTypeDeclElem(TypeDeclElem e, TypeSig currentSig, boolean abstractMethodsOK, boolean inFinalClass, boolean inInterface)
           
 void PrepTypeDeclaration.visitMethodDecl(MethodDecl x, TypeSig currentSig, boolean abstractMethodsOK, boolean inFinalClass, boolean inInterface)
           
protected  void PrepTypeDeclaration.addInheritedMembers(TypeSig type, TypeSig superType)
           
protected  boolean PrepTypeDeclaration.superMemberAccessible(TypeSig type, TypeSig superType, int modifiers, ModifierPragmaVec pmodifiers)
           
protected  boolean PrepTypeDeclaration.declaresField(TypeSig sig, Identifier id)
           
private  boolean PrepTypeDeclaration.declaresField(TypeSig sig, Identifier id, int n)
           
protected  EnvForTypeSig FlowInsensitiveChecks.makeEnvForTypeSig(TypeSig s, boolean staticContext)
          Override so that we use GhostEnv instead of EnvForTypeSig.
 void FlowInsensitiveChecks.checkTypeDeclaration(TypeSig s)
           
 TypeSig EnvForGhostLocals.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 

Constructors in escjava.tc with parameters of type TypeSig
TypeSig(java.lang.String[] packageName, java.lang.String simpleName, TypeSig enclosingType, TypeDecl decl, CompilationUnit CU)
           
GhostEnv(Env parent, TypeSig peer, boolean staticContext)
           
 

Uses of TypeSig in escjava.translate
 

Fields in escjava.translate declared as TypeSig
(package private)  TypeSig ParamAndGlobalVarInfo.U
           
(package private)  TypeSig InvariantInfo.U
           
 

Methods in escjava.translate with parameters of type TypeSig
static FieldDecl Inner.getEnclosingInstanceField(TypeSig T)
          * Return the FieldDecl for a given non-top-level TypeSig's * enclosing instance field (this$0).
private static boolean GetSpec.exprIsVisible(TypeSig originType, Expr e)
           
 

Uses of TypeSig in javafe
 

Methods in javafe that return TypeSig
 TypeSig TestTool.getSuperClass(TypeDecl td)
          Attempt to fetch the TypeSig for a given TypeDecl.
 

Uses of TypeSig in javafe.tc
 

Fields in javafe.tc declared as TypeSig
private  TypeSig[] TypeSigVec.elements
          * Instance fields: * *
 TypeSig TypeSig.enclosingType
          Our enclosing type or null iff we are a package-member type.
private  TypeSig TypeSig.superClass
           
private static TypeSig Types.s_javaLangObject
           
private static TypeSig Types.s_javaLangSystem
           
private static TypeSig Types.s_javaLangError
           
private static TypeSig Types.s_javaLangException
           
private static TypeSig Types.s_javaLangThrowable
           
private static TypeSig Types.s_javaLangString
           
private static TypeSig Types.s_javaLangRuntimeException
           
private static TypeSig Types.s_javaLangCloneable
           
private static TypeSig Types.s_javaLangClass
           
protected  TypeSig PrepTypeDeclaration._rootCache
           
protected  TypeSig FlowInsensitiveChecks.sig
           
protected  TypeSig EnvForTypeSig.peer
          The TypeSig providing new bindings
 

Methods in javafe.tc that return TypeSig
 TypeSig TypeSigVec.elementAt(int index)
          * Other methods: * *
 TypeSig[] TypeSigVec.toArray()
           
 TypeSig TypeSigVec.pop()
           
static TypeSig TypeSig.getSig(TypeDecl d)
          The myTypeDecl field maps TypeSigs to TypeDecls.
static TypeSig TypeSig.lookup(java.lang.String[] P, java.lang.String T)
          If a TypeSig representing the package-member type named P.T has been created, return it; otherwise, return null.
(package private) static TypeSig TypeSig.get(java.lang.String[] P, java.lang.String T)
          If a TypeSig representing the package-member type named P.T has been created, return it; otherwise, create such a TypeSig then return it.
 TypeSig TypeSig.lookupType(TypeSig caller, Identifier id, int loc)
          Do we have a type member named id (including inherited type members)?
 TypeSig TypeSig.lookupLocalType(TypeSig caller, Identifier id)
          Do we have a type member named id (*not* including inherited type members)?
static TypeSig TypeSig.getRawSig(TypeName n)
          Gets the TypeSig recorded by setSig, or null.
static TypeSig TypeSig.getSig(TypeName n)
          Gets the TypeSig recorded by setSig.
 TypeSig TypeSig.superClass()
           
static TypeSig Types.makeTypeSig(java.lang.String simpleName, Env enclosingEnv, TypeDecl decl)
          Factory method for TypeSig structures
protected  TypeSig Types.makeTypeSigInstance(java.lang.String simpleName, Env enclosingEnv, TypeDecl decl)
           
protected static TypeSig Types.makeTypeSig(java.lang.String[] packageName, java.lang.String simpleName, TypeSig enclosingType, TypeDecl decl, CompilationUnit CU)
          Factory method for TypeSig structures
protected  TypeSig Types.makeTypeSigInstance(java.lang.String[] packageName, java.lang.String simpleName, TypeSig enclosingType, TypeDecl decl, CompilationUnit CU)
           
static TypeSig Types.getJavaLang(java.lang.String T)
          Find the TypeSig for the required package-member type java.lang.T.
static TypeSig Types.javaLangObject()
           
static TypeSig Types.javaLangSystem()
           
static TypeSig Types.javaLangError()
           
static TypeSig Types.javaLangException()
           
static TypeSig Types.javaLangThrowable()
           
static TypeSig Types.javaLangString()
           
static TypeSig Types.javaLangRuntimeException()
           
static TypeSig Types.javaLangCloneable()
           
static TypeSig Types.javaLangClass()
           
static TypeSig Types.toClassTypeSig(Type x)
          Returns the TypeSig for a Type x, if x denotes a class type, otherwise returns null.
 TypeSig TypeCheck.getSig(TypeDecl d)
          Retrieves the TypeSig associated with a particular TypeDecl.
 TypeSig TypeCheck.getSig(TypeName n)
          Retrieves the TypeSig associated with a particular TypeName.
 TypeSig TypeCheck.getRawSig(TypeName n)
           
static TypeSig SLResolution.handleSuperTypeName(TypeSig sig, TypeName superName)
          Handle a super type name.
 TypeSig PrepTypeDeclaration.getRootInterface()
          This routine constructs and returns the interface that all interfaces are de-facto subinterfaces of.
 TypeSig PrepTypeDeclaration.processTypeNameAnnotations(TypeName tn, TypeSig sig, Env env)
           
static TypeSig OutsideEnv.lookup(java.lang.String[] P, java.lang.String T)
          Get the TypeSig for fully-qualified package-member name P.T.
static TypeSig OutsideEnv.lookupDeferred(java.lang.String[] P, java.lang.String T)
          Like lookup except that checking the existence of the type is deferred until it's TypeDecl is touched for the first time.
 TypeSig EnvForTypeSig.getEnclosingClass()
          Return the intermost class enclosing the code that is checked in this environment.
 TypeSig EnvForTypeSig.getEnclosingInstance()
          If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance.
 TypeSig EnvForTypeSig.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 TypeSig EnvForTypeSig.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
 TypeSig EnvForLocalType.getEnclosingClass()
          Return the intermost class enclosing the code that is checked in this environment.
 TypeSig EnvForLocalType.getEnclosingInstance()
          If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance.
 TypeSig EnvForLocalType.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 TypeSig EnvForLocalType.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
 TypeSig EnvForLocals.getEnclosingClass()
          Return the intermost class enclosing the code that is checked in this environment.
 TypeSig EnvForLocals.getEnclosingInstance()
          If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance.
 TypeSig EnvForLocals.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 TypeSig EnvForLocals.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
 TypeSig EnvForEnclosedScope.getEnclosingClass()
          Return the intermost class enclosing the code that is checked in this environment.
 TypeSig EnvForEnclosedScope.getEnclosingInstance()
          If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance.
 TypeSig EnvForEnclosedScope.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 TypeSig EnvForEnclosedScope.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
 TypeSig EnvForCU.getEnclosingClass()
          Return the intermost class enclosing the code that is checked in this environment.
 TypeSig EnvForCU.getEnclosingInstance()
          If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance.
 TypeSig EnvForCU.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
static TypeSig EnvForCU.lookupWithoutInheritence(TypeSig caller, java.lang.String[] N, java.lang.String I)
          Attempt to lookup the type N.I without using inheritence in the outside environment.
 TypeSig EnvForCU.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
abstract  TypeSig Env.getEnclosingClass()
          Return the intermost class enclosing the code that is checked in this environment.
abstract  TypeSig Env.getEnclosingInstance()
          If there is an enclosing instance in scope, then return the (exact) type of the innermost such instance.
abstract  TypeSig Env.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
abstract  TypeSig Env.locateMethod(Identifier id)
          Locate the lexically innermost method named id.
 TypeSig Env.findTypeNamePrefix(TypeSig caller, Name n, boolean ignoreFields)
          Attempts to find the canonical prefix of a given name that denotes a TypeName in this environment.
 TypeSig Env.lookupTypeName(TypeSig caller, Name n)
          Attempt to lookup a TypeName using this environment.
 TypeSig Env.processTypeNameAnnotations(TypeName n, TypeSig sig)
          This processes the annotations on a type name
 TypeSig Env.resolveTypeName(TypeSig caller, TypeName tn)
          Attempt to resolve a TypeName using this environment.
 TypeSig Env.getInnermostInstance()
          Returns the innermost current or enclosing instance, or null if none exists.
static TypeSig Env.whereDeclared(GenericVarDecl decl)
          What type is a GenericVarDecl declared in?
 

Methods in javafe.tc with parameters of type TypeSig
static TypeSigVec TypeSigVec.make(TypeSig[] els)
           
 void TypeSigVec.setElementAt(TypeSig x, int index)
           
 boolean TypeSigVec.contains(TypeSig x)
           
 void TypeSigVec.addElement(TypeSig x)
           
 boolean TypeSigVec.removeElement(TypeSig x)
           
 void TypeSigVec.insertElementAt(TypeSig obj, int index)
           
 TypeSig TypeSig.lookupType(TypeSig caller, Identifier id, int loc)
          Do we have a type member named id (including inherited type members)?
 TypeSig TypeSig.lookupLocalType(TypeSig caller, Identifier id)
          Do we have a type member named id (*not* including inherited type members)?
 ConstructorDecl TypeSig.lookupConstructor(Type[] args, TypeSig caller)
          TBW
 FieldDecl TypeSig.lookupField(Identifier id, TypeSig caller)
          TBW
 MethodDecl TypeSig.lookupMethod(Identifier id, Type[] args, TypeSig caller)
          TBW
static void TypeSig.setSig(TypeName n, TypeSig sig)
           
 boolean TypeSig.isSubtypeOf(TypeSig s2)
           
 boolean TypeSig.inSamePackageAs(TypeSig s)
           
protected static TypeSig Types.makeTypeSig(java.lang.String[] packageName, java.lang.String simpleName, TypeSig enclosingType, TypeDecl decl, CompilationUnit CU)
          Factory method for TypeSig structures
protected  TypeSig Types.makeTypeSigInstance(java.lang.String[] packageName, java.lang.String simpleName, TypeSig enclosingType, TypeDecl decl, CompilationUnit CU)
           
static boolean Types.isSubclassOf(Type x, TypeSig y)
          Returns true if and only if x is a subclass or superinterface of y.
static FieldDecl Types.lookupField(Type t, Identifier id, TypeSig caller)
           
protected  FieldDecl Types.lookupFieldInstance(Type t, Identifier id, TypeSig caller)
           
static MethodDecl Types.lookupMethod(Type t, Identifier id, Type[] args, TypeSig caller)
           
protected  MethodDecl Types.lookupMethodInstance(Type t, Identifier id, Type[] args, TypeSig caller)
           
 void TypeCheck.checkTypeSig(TypeSig s)
          Moves s into the checked state.
 boolean TypeCheck.canAccess(TypeSig from, TypeSig target, int modifiers, ModifierPragmaVec pmodifiers)
          Can a member of type target with modifiers modifiers/pmodifiers be accessed by code located in from?
static void SLResolution.transition(TypeSig sig)
          Transition sig to the supertype-links-resolved state.
static TypeSig SLResolution.handleSuperTypeName(TypeSig sig, TypeName superName)
          Handle a super type name.
 void PrepTypeDeclaration.prepTypeSignature(TypeSig sig)
          Does type name resolution and type checking at signature level of a type declaration, and infers the members of the declaration.
protected  void PrepTypeDeclaration.prepStart(TypeSig sig, TypeDecl decl)
           
protected  void PrepTypeDeclaration.prepDo(TypeSig sig, TypeDecl decl)
           
protected  void PrepTypeDeclaration.prepEnd(TypeSig sig, TypeDecl decl)
           
protected  void PrepTypeDeclaration.visitClassDecl(ClassDecl decl, TypeSig currentSig)
          Does signature-level checking and adds type members to fieldSeq and methodSeq.
 void PrepTypeDeclaration.checkTypeModifiers(TypeDecl decl, TypeSig currentSig, boolean isClass)
          Check that the modifiers of a type are ok.
protected  void PrepTypeDeclaration.visitInterfaceDecl(InterfaceDecl decl, TypeSig currentSig)
          Does signature-level checking and adds type members to fieldSeq and methodSeq.
protected  void PrepTypeDeclaration.checkSuperInterfaces(TypeSig sig, TypeNameVec superInterfaces)
          Check superinterfaces and add their members to fieldSeq and methodSeq.
protected  void PrepTypeDeclaration.visitTypeDeclElem(TypeDeclElem e, TypeSig currentSig, boolean abstractMethodsOK, boolean inFinalClass, boolean inInterface)
          Visit a TypeDeclElem, check it and add it to fieldSeq or methodSeq, if appropriate
protected  void PrepTypeDeclaration.visitFieldDecl(FieldDecl x, TypeSig currentSig, boolean abstractMethodsOK, boolean inFinalClass, boolean inInterface)
          Visit a FieldDecl, check it and add it to fieldSeq.
protected  void PrepTypeDeclaration.visitMethodDecl(MethodDecl x, TypeSig currentSig, boolean abstractMethodsOK, boolean inFinalClass, boolean inInterface)
          Visit a MethodDecl, check it and add it to methodSeq.
protected  void PrepTypeDeclaration.visitConstructorDecl(ConstructorDecl x, TypeSig currentSig, boolean abstractMethodsOK, boolean inFinalClass, boolean inInterface)
          Visit ConstructorDecl, check it, and add it to constructorSeq.
protected  void PrepTypeDeclaration.addInheritedMembers(TypeSig type, TypeSig superType)
          Find all members of a supertype inherited by a type.
protected  boolean PrepTypeDeclaration.superMemberAccessible(TypeSig type, TypeSig superType, int modifiers, ModifierPragmaVec pmodifiers)
          Check if a member is accessible from a direct subclass.
protected  boolean PrepTypeDeclaration.declaresFieldJava(TypeSig sig, Identifier id)
          Check if a type declares a field.
private  MethodDecl PrepTypeDeclaration.declaresMethod(TypeSig sig, Identifier id, Type[] argTypes)
          Check if a type declares a method.
 void PrepTypeDeclaration.checkSuperTypeAccessible(TypeSig currentSig, TypeSig supertype, int loc)
          Check to make sure a supertype is accessible; reports an error to ErrorSet if not.
 TypeSig PrepTypeDeclaration.processTypeNameAnnotations(TypeName tn, TypeSig sig, Env env)
           
protected  EnvForTypeSig PrepTypeDeclaration.getEnvForCurrentSig(TypeSig sig, boolean isStatic)
           
(package private) static void OutsideEnv.load(TypeSig sig)
          Attempt to load the TypeDecl of TypeSig sig.
protected  EnvForTypeSig FlowInsensitiveChecks.makeEnvForTypeSig(TypeSig s, boolean staticContext)
          Factory method so subclasses can override.
 void FlowInsensitiveChecks.checkTypeDeclaration(TypeSig s)
          Moves s into implementation checked state.
 TypeSig EnvForTypeSig.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 TypeSig EnvForLocalType.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 TypeSig EnvForLocals.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 TypeSig EnvForEnclosedScope.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 TypeSig EnvForCU.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
static TypeSig EnvForCU.lookupWithoutInheritence(TypeSig caller, java.lang.String[] N, java.lang.String I)
          Attempt to lookup the type N.I without using inheritence in the outside environment.
abstract  TypeSig Env.lookupSimpleTypeName(TypeSig caller, Identifier id, int loc)
          Attempt to lookup a simple TypeName in this environment to get the TypeSig it denotes.
 TypeSig Env.findTypeNamePrefix(TypeSig caller, Name n, boolean ignoreFields)
          Attempts to find the canonical prefix of a given name that denotes a TypeName in this environment.
 TypeSig Env.lookupTypeName(TypeSig caller, Name n)
          Attempt to lookup a TypeName using this environment.
 TypeSig Env.processTypeNameAnnotations(TypeName n, TypeSig sig)
          This processes the annotations on a type name
 TypeSig Env.resolveTypeName(TypeSig caller, TypeName tn)
          Attempt to resolve a TypeName using this environment.
 void Env.resolveType(TypeSig caller, Type t)
          Attempt to resolve a Type using this environment.
 boolean Env.canAccessInstance(TypeSig C)
          Are C's instance variables accessible?
 Expr Env.lookupEnclosingInstance(TypeSig T, int loc)
          Attempt to locate a current or enclosing instance that has type T.
 ThisExpr Env.getInferredThisExpr(TypeSig C, int loc)
          Return an inferred ThisExpr for "[C.]this", using location loc.
 ObjectDesignator Env.getObjectDesignator(TypeSig C, int loc)
          Return an inferred ObjectDesignator for use in a reference to a possibly-instance member of class C from here.
static void CheckInvariants.checkTypeDeclOfSig(TypeSig sig)
           
static void CheckInvariants.checkStmt(TypeSig sig, Stmt s)
           
static void CheckInvariants.checkExpr(TypeSig sig, VarInit expr)
           
static void CheckInvariants.checkObjectDesignator(TypeSig sig, ObjectDesignator od)
           
 

Constructors in javafe.tc with parameters of type TypeSig
TypeSigVec(TypeSig[] els)
          * Private constructors: * *
TypeSig(java.lang.String[] packageName, java.lang.String simpleName, TypeSig enclosingType, TypeDecl decl, CompilationUnit CU)
          Create a TypeSig that represents a member type.
EnvForTypeSig(Env parent, TypeSig peer, boolean staticContext)
          Create an environment from an existing one by adding a new TypeSigs bindings.
 


ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage