, including all inherited members.
| absFun | edu.mit.csail.sdg.squander.spec.JField | [private] |
| bound | edu.mit.csail.sdg.squander.spec.JField | [private] |
| cache | edu.mit.csail.sdg.squander.spec.JField | [private, static] |
| convertToJType(Type t) | edu.mit.csail.sdg.squander.spec.JField | [static] |
| declaringType | edu.mit.csail.sdg.squander.spec.JField | [private] |
| declaringType() | edu.mit.csail.sdg.squander.spec.JField | |
| domain | edu.mit.csail.sdg.squander.spec.JField | [private] |
| equals(Object obj) | edu.mit.csail.sdg.squander.spec.JField | |
| factory | edu.mit.csail.sdg.squander.spec.JField | [private, static] |
| frame | edu.mit.csail.sdg.squander.spec.JField | [private] |
| fullName() | edu.mit.csail.sdg.squander.spec.JField | |
| funcFlag | edu.mit.csail.sdg.squander.spec.JField | [private] |
| getAbsFun() | edu.mit.csail.sdg.squander.spec.JField | |
| getBound() | edu.mit.csail.sdg.squander.spec.JField | |
| getDomain() | edu.mit.csail.sdg.squander.spec.JField | |
| getFrame() | edu.mit.csail.sdg.squander.spec.JField | |
| getJavaField() | edu.mit.csail.sdg.squander.spec.JField | |
| getTypeParams() | edu.mit.csail.sdg.squander.spec.JField | |
| getTypeParams(Type genericType) | edu.mit.csail.sdg.squander.spec.JField | [static] |
| hashCode() | edu.mit.csail.sdg.squander.spec.JField | |
| isFunc() | edu.mit.csail.sdg.squander.spec.JField | |
| isPureAbstract() | edu.mit.csail.sdg.squander.spec.JField | |
| isSpec() | edu.mit.csail.sdg.squander.spec.JField | |
| isStatic() | edu.mit.csail.sdg.squander.spec.JField | |
| javaField | edu.mit.csail.sdg.squander.spec.JField | [private] |
| JField(String name, JType type, Unary owningType, Unary declaringType, Field javaField) | edu.mit.csail.sdg.squander.spec.JField | [package] |
| name | edu.mit.csail.sdg.squander.spec.JField | [private] |
| name() | edu.mit.csail.sdg.squander.spec.JField | |
| newJavaField(Field f) | edu.mit.csail.sdg.squander.spec.JField | [static] |
| newSpecField(String name, Class<?> owner, Class<?> declarer, JType type) | edu.mit.csail.sdg.squander.spec.JField | [static] |
| newSpecField(String name, Unary owningType, Unary declaringType, JType type) | edu.mit.csail.sdg.squander.spec.JField | [static] |
| owningType | edu.mit.csail.sdg.squander.spec.JField | [private] |
| owningType() | edu.mit.csail.sdg.squander.spec.JField | |
| setAbsFun(Invariant absFun) | edu.mit.csail.sdg.squander.spec.JField | |
| setBound(Invariant bound) | edu.mit.csail.sdg.squander.spec.JField | |
| setDomain(ForgeExpression dom) | edu.mit.csail.sdg.squander.spec.JField | |
| setFrame(Frame frame) | edu.mit.csail.sdg.squander.spec.JField | |
| setFuncFlag(boolean flag) | edu.mit.csail.sdg.squander.spec.JField | |
| toString() | edu.mit.csail.sdg.squander.spec.JField | |
| type | edu.mit.csail.sdg.squander.spec.JField | [private] |
| type() | edu.mit.csail.sdg.squander.spec.JField | |
