|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use FastStringBuffer | |
| 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. |
| Uses of FastStringBuffer in org.jmlspecs.checker |
| Methods in org.jmlspecs.checker with parameters of type FastStringBuffer | |
void |
JmlNumericType.appendSignature(FastStringBuffer buff)
Transforms this type to a string |
| Uses of FastStringBuffer in org.multijava.mjc |
| Methods in org.multijava.mjc that return FastStringBuffer | |
(package private) static FastStringBuffer |
CType.StringBuffers.getStringBuffer()
|
| Methods in org.multijava.mjc with parameters of type FastStringBuffer | |
void |
CType.appendGenericSignature(FastStringBuffer buff)
|
abstract void |
CTypeSignatureAppender.appendSignature(FastStringBuffer buffer)
Transforms this type to a string and appends the string to the given buffer. |
abstract void |
CTypeSignatureAppender.appendGenericSignature(FastStringBuffer buffer)
|
void |
CClassType.appendSignature(FastStringBuffer buff)
Transforms this type to a string |
void |
CSpecializedType.appendSignature(FastStringBuffer buff)
Transforms this type to a string |
void |
CSpecializedType.appendGenericSignature(FastStringBuffer buff)
|
void |
CClassNameType.appendGenericSignature(FastStringBuffer buff)
|
void |
CTypeVariable.appendGenericSignature(FastStringBuffer buffer)
Appends the generic signature (attribute) of this type variable to the specified buffer. |
void |
CTypeVariable.appendSignature(FastStringBuffer buffer)
Appends the VM signature of this type variable to the specified buffer. |
protected void |
CTypeVariable.appendDefinitionSignature(FastStringBuffer buffer)
Appends the generic signature of the definition of this type variable to the specified buffer. |
void |
CNumericType.appendSignature(FastStringBuffer buff)
Transforms this type to a string |
void |
CArrayType.appendSignature(FastStringBuffer buff)
Transforms this type to a string |
void |
CArrayType.appendGenericSignature(FastStringBuffer buff)
|
void |
CBooleanType.appendSignature(FastStringBuffer buff)
Transforms this type to a string |
void |
CValueType.appendSignature(FastStringBuffer buff)
Transforms this type to a string for bytecode attributes |
void |
CWildcardType.appendSignature(FastStringBuffer buff)
Note that a non-generic signature should never be used for a wildcard since a wildcard is always a generic type argument. |
void |
CWildcardType.appendGenericSignature(FastStringBuffer buffer)
|
void |
CVoidType.appendSignature(FastStringBuffer buff)
Transforms this type to a string |
(package private) static void |
CType.StringBuffers.release(FastStringBuffer buff)
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||