jif.lang

Class Principal_JIF_IMPL

java.lang.Object

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

Constructors

Constructor and Description
Principal_JIF_IMPL()

Method Summary

Modifier and Type	Method and Description
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)