escjava
Class ParsedRoutineSpecs

java.lang.Object
  escjava.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()