JML

Uses of Class
org.multijava.util.compiler.FastStringBuffer

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

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.