jif.types
Class DynamicArgLabel_c

java.lang.Object
  |
  +--polyglot.ext.jl.types.TypeObject_c
        |
        +--jif.types.Label_c
              |
              +--jif.types.DynamicLabel_c
                    |
                    +--jif.types.DynamicArgLabel_c

All Implemented Interfaces:

java.lang.Cloneable, polyglot.util.Copy, DynamicArgLabel, DynamicLabel, Label, Param, java.io.Serializable, polyglot.types.TypeObject

public class DynamicArgLabel_c

extends DynamicLabel_c

implements DynamicArgLabel

An implementation of the DynamicArgLabel interface.

See Also:

Serialized Form

Field Summary

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

position, ts

Constructor Summary

protected	DynamicArgLabel_c()
	DynamicArgLabel_c(JifTypeSystem ts, polyglot.util.Position pos, UID uid, java.lang.String name, Label label, int index, boolean isSignature)

Method Summary

java.lang.String	componentString()
int	index()
boolean	isCanonical() By default labels are canonical.
boolean	isSignature()

Methods inherited from class jif.types.DynamicLabel_c

bound, equalsImpl, fold, hashCode, isComparable, isCovariant, isRuntimeRepresentable, label, label, labelOf, leq_, meet_, name, name, subst, subst, translate, uid, uid, variables

Methods inherited from class jif.types.Label_c

components, description, description, hasVariables, isBottom, isEnumerable, isInvariant, isMeetable, isSingleton, isTop, join, join, leq_, meet, meet, minus, simplify, singletonComponent, toJava, toString

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

copy, equals, position, typeSystem

Methods inherited from class java.lang.Object

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

Methods inherited from interface jif.types.DynamicLabel

label, label, name, name, uid, uid

Methods inherited from interface jif.types.Label

bound, components, description, description, fold, hasVariables, isBottom, isComparable, isCovariant, isEnumerable, isInvariant, isMeetable, isSingleton, isTop, join, join, labelOf, leq_, leq_, meet_, meet, meet, minus, simplify, singletonComponent, subst, subst, toJava, translate, variables

Methods inherited from interface jif.types.Param

isRuntimeRepresentable

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Constructor Detail

DynamicArgLabel_c

protected DynamicArgLabel_c()

DynamicArgLabel_c

public DynamicArgLabel_c(JifTypeSystem ts,
                         polyglot.util.Position pos,
                         UID uid,
                         java.lang.String name,
                         Label label,
                         int index,
                         boolean isSignature)

Method Detail

isCanonical

public boolean isCanonical()

Description copied from class: Label_c

By default labels are canonical.

Specified by:

isCanonical in interface Param

Overrides:

isCanonical in class DynamicLabel_c

index

public int index()

Specified by:

index in interface DynamicArgLabel

isSignature

public boolean isSignature()

Specified by:

isSignature in interface DynamicArgLabel

componentString

public java.lang.String componentString()

Specified by:

componentString in interface Label

Overrides:

componentString in class DynamicLabel_c