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

escjava
Class ParsedRoutineSpecs

java.lang.Object
  extended byescjava.ParsedRoutineSpecs

public class ParsedRoutineSpecs
extends java.lang.Object


Field Summary
 java.util.ArrayList examples
           
 java.util.ArrayList impliesThat
           
 ModifierPragma initialAlso
           
 ModifierPragmaVec modifiers
           
 java.util.ArrayList specs
           
 
Constructor Summary
ParsedRoutineSpecs()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

initialAlso

public ModifierPragma initialAlso

specs

public java.util.ArrayList specs

impliesThat

public java.util.ArrayList impliesThat

examples

public java.util.ArrayList examples

modifiers

public ModifierPragmaVec modifiers
Constructor Detail

ParsedRoutineSpecs

public ParsedRoutineSpecs()

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