jif.types
Class ParamInstance.Kind

java.lang.Object
  extended by polyglot.util.Enum
      extended by jif.types.ParamInstance.Kind
All Implemented Interfaces:
java.io.Serializable, polyglot.util.Internable
Enclosing interface:
ParamInstance

public static class ParamInstance.Kind
extends polyglot.util.Enum

See Also:
Serialized Form

Constructor Summary
ParamInstance.Kind(java.lang.String name, boolean isPrincipal, boolean isInvariantLabel, boolean isCovariantLabel)
           
 
Method Summary
 boolean isCovariantLabel()
           
 boolean isInvariantLabel()
           
 boolean isPrincipal()
           
 
Methods inherited from class polyglot.util.Enum
equals, hashCode, intern, internEnum, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ParamInstance.Kind

public ParamInstance.Kind(java.lang.String name,
                          boolean isPrincipal,
                          boolean isInvariantLabel,
                          boolean isCovariantLabel)
Method Detail

isPrincipal

public boolean isPrincipal()

isCovariantLabel

public boolean isCovariantLabel()

isInvariantLabel

public boolean isInvariantLabel()