fabric.extension
Class AbortJifExt_c

java.lang.Object
  extended by JifBranchExt
      extended by fabric.extension.AbortJifExt_c

public class AbortJifExt_c
extends JifBranchExt


Constructor Summary
AbortJifExt_c(ToJavaExt toJava)
           
 
Method Summary
 Node labelCheckStmt(LabelChecker lc)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbortJifExt_c

public AbortJifExt_c(ToJavaExt toJava)
Method Detail

labelCheckStmt

public Node labelCheckStmt(LabelChecker lc)
                    throws SemanticException
Throws:
SemanticException