fabric.extension

Class FabricInstanceofExt

java.lang.Object

JifInstanceofExt

fabric.extension.FabricInstanceofExt

public class FabricInstanceofExt
extends JifInstanceofExt

Constructor Summary

Constructors

Constructor and Description
FabricInstanceofExt(ToJavaExt toJava)

Method Summary

Modifier and Type	Method and Description
Node	labelCheck(LabelChecker lc)
Instanceof	node()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FabricInstanceofExt

public FabricInstanceofExt(ToJavaExt toJava)

Method Detail

labelCheck

public Node labelCheck(LabelChecker lc)
                throws SemanticException

Throws:

SemanticException

node

public Instanceof node()