jltools.ext.jif.types
Class JifParsedPolyType_c

java.lang.Object
  |
  +--jltools.ext.jl.types.TypeObject_c
        |
        +--jltools.ext.jl.types.Type_c
              |
              +--jltools.ext.jl.types.ReferenceType_c
                    |
                    +--jltools.ext.jl.types.ClassType_c
                          |
                          +--jltools.ext.jl.types.ParsedClassType_c
                                |
                                +--jltools.ext.jl.types.ParsedTopLevelClassType_c
                                      |
                                      +--jltools.ext.jif.types.JifParsedPolyType_c

All Implemented Interfaces:

ClassType, java.lang.Cloneable, Copy, JifClassType, JifParsedPolyType, JifPolyType, NamedQualifier, NamedType, ParsedClassType, ParsedTopLevelClassType, ParsedType, Qualifier, ReferenceType, java.io.Serializable, TopLevelClassType, Type, TypeObject

public class JifParsedPolyType_c

extends ParsedTopLevelClassType_c

implements JifParsedPolyType

An implementation of the JifParsedPolyType interface.

See Also:

Serialized Form

Fields inherited from class jltools.ext.jl.types.ParsedTopLevelClassType_c

name

Fields inherited from class jltools.ext.jl.types.ParsedClassType_c

clean, job

Fields inherited from class jltools.ext.jl.types.ClassType_c

constructors, fields, flags, interfaces, memberClasses, methods, package_, superType

Fields inherited from class jltools.ext.jl.types.TypeObject_c

position, ts

Constructor Summary

protected	JifParsedPolyType_c()
	JifParsedPolyType_c(JifTypeSystem ts, Job job)

Method Summary

void	addAuthority(Principal p)
void	addMemberClass(MemberClassType t)
void	addParam(ParamInstance pi)
java.util.List	authority()
boolean	equals(java.lang.Object o)
int	hashCode()
java.util.List	params()
Label	thisLabel()
void	thisLabel(Label L)
java.lang.String	toString()

Methods inherited from class jltools.ext.jl.types.ParsedTopLevelClassType_c

fullName, isTopLevel, name, name, toTopLevel, translate

Methods inherited from class jltools.ext.jl.types.ParsedClassType_c

addConstructor, addField, addInterface, addMethod, constructors, fields, flags, interfaces, isClean, job, memberClasses, methods, package_, position, replaceConstructor, replaceField, replaceMemberClass, replaceMethod, restore_, setClean, superType

Methods inherited from class jltools.ext.jl.types.ClassType_c

fieldNamed, flags, isAnonymous, isCanonical, isClass, isInner, isLocal, isMember, memberClassNamed, package_, superType, toAnonymous, toClass, toInner, toLocal, toMember

Methods inherited from class jltools.ext.jl.types.ReferenceType_c

isReference, toReference

Methods inherited from class jltools.ext.jl.types.Type_c

arrayOf, arrayOf, descendsFrom, isArray, isAssignableSubtype, isBoolean, isByte, isCastValid, isChar, isComparable, isDouble, isFloat, isImplicitCastValid, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPackage, isPrimitive, isSame, isShort, isSubtype, isThrowable, isType, isUncheckedException, isVoid, toArray, toNull, toPackage, toPrimitive, toType

Methods inherited from class jltools.ext.jl.types.TypeObject_c

copy, position, restore, typeSystem

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface jltools.types.ClassType

constructors, flags, isAnonymous, isInner, isLocal, isMember, isTopLevel, memberClasses, memberClassNamed, package_, toAnonymous, toInner, toLocal, toMember, toTopLevel

Methods inherited from interface jltools.types.ReferenceType

fieldNamed, fields, interfaces, methods, superType

Methods inherited from interface jltools.types.Type

arrayOf, arrayOf, descendsFrom, isArray, isAssignableSubtype, isBoolean, isByte, isCastValid, isChar, isClass, isDouble, isFloat, isImplicitCastValid, isInt, isIntOrLess, isLong, isLongOrLess, isNull, isNumeric, isPrimitive, isReference, isSame, isShort, isSubtype, isThrowable, isUncheckedException, isVoid, toArray, toClass, toNull, toPrimitive, toReference, translate

Methods inherited from interface jltools.types.Qualifier

isPackage, isType, toPackage, toType

Methods inherited from interface jltools.types.TypeObject

isCanonical, position, restore, typeSystem

Methods inherited from interface jltools.util.Copy

copy

Methods inherited from interface jltools.types.NamedType

fullName, name

Methods inherited from interface jltools.types.ParsedTopLevelClassType

name

Methods inherited from interface jltools.types.ParsedClassType

addConstructor, addField, addInterface, addMethod, flags, package_, position, replaceConstructor, replaceField, replaceMemberClass, replaceMethod, superType

Methods inherited from interface jltools.types.ParsedType

isClean, job, setClean

Constructor Detail

JifParsedPolyType_c

protected JifParsedPolyType_c()

JifParsedPolyType_c

public JifParsedPolyType_c(JifTypeSystem ts,
                           Job job)

Method Detail

authority

public java.util.List authority()

Specified by:

authority in interface JifClassType

params

public java.util.List params()

Specified by:

params in interface JifPolyType

thisLabel

public Label thisLabel()

Specified by:

thisLabel in interface JifClassType

thisLabel

public void thisLabel(Label L)

Specified by:

thisLabel in interface JifParsedPolyType

addMemberClass

public void addMemberClass(MemberClassType t)

Specified by:

addMemberClass in interface ParsedClassType

Overrides:

addMemberClass in class ParsedClassType_c

addParam

public void addParam(ParamInstance pi)

Specified by:

addParam in interface JifParsedPolyType

addAuthority

public void addAuthority(Principal p)

Specified by:

addAuthority in interface JifParsedPolyType

toString

public java.lang.String toString()

Overrides:

toString in class ParsedTopLevelClassType_c

hashCode

public int hashCode()

Overrides:

hashCode in class ParsedTopLevelClassType_c

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class ParsedTopLevelClassType_c