jif.lang
Class Principal_JIF_IMPL

java.lang.Object
  extended by jif.lang.Principal_JIF_IMPL

public abstract class Principal_JIF_IMPL
extends java.lang.Object

See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.


Constructor Summary
Principal_JIF_IMPL()
           
 
Method Summary
static Principal jif$cast$jif_lang_Principal(java.lang.Object o)
           
static boolean jif$Instanceof(java.lang.Object o)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Principal_JIF_IMPL

public Principal_JIF_IMPL()
Method Detail

jif$Instanceof

public static boolean jif$Instanceof(java.lang.Object o)

jif$cast$jif_lang_Principal

public static Principal jif$cast$jif_lang_Principal(java.lang.Object o)