Uses of Interface
org.multijava.mjc.CTypeSignatureAppender

Packages that use CTypeSignatureAppender

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 CTypeSignatureAppender in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement CTypeSignatureAppender

class	CTypeType This class represents the JML \TYPE type.
class	JmlNumericType This class represents the JML primitive numeric types bigint and real.

Uses of CTypeSignatureAppender in org.multijava.mjc

Classes in org.multijava.mjc that implement CTypeSignatureAppender

class	CArrayType This class represents the array type in the type structure.
class	CBooleanType This class represents the Java boolean type.
class	CBooleanValueType This class represents a value specializer for booleans.
class	CCaptureType Type resulting from applying capture conversion (JLS3 5.1.10) to a wildcard.
class	CClassFQNameType This class represents a class type when the class name first appears as a forward reference and the name is definitely fully qualified as in an import clause.
class	CClassNameType This class represents a class type when the class name first appears as a forward reference.
class	CClassType This class represents a class type in the type structure.
class	CErasedClassType This class represents class type in the type structure
class	CNullType This class represents null class type in the type structure
class	CNumericType This class represents java and kopi numericals types Such as byte, short, int, long, float, double
class	COrdinalValueType This class represents a value specializer for ordinal types such as byte, short, int, and long.
class	CRealValueType This class represents a value specializer for floats and doubles.
class	CSpecializedType This class represents a specialized type like type1@type2.
class	CStringValueType This class represents a value specializer for Strings.
class	CType This class is the root for type hierarchy.
class	CTypeVariable
class	CTypeVariableAlias
class	CValueType This class represents a value specializer "type."
class	CVoidType This class represents Java void type
class	CWildcardType Type representing a wildcard (JLS3 4.5.1).

Methods in org.multijava.mjc with parameters of type CTypeSignatureAppender

static String	CType.genGenericMethodSignatureHelper(CTypeVariable[] tvs, CType returnType, CType receiverType, CTypeSignatureAppender[] parameters, boolean skipSynthParameter)
private static String	CType.genMethodSignatureHelper(CType returnType, CType receiverType, CTypeSignatureAppender[] parameters, boolean skipSynthParameter) Helper method generates a method signature as used in regular Java bytecode if receiverType is null, or a multimethod signature otherwise.