public class ConstructorDeclJifExt extends JifConstructorDeclExt
ConstructorDeclJifExt(ToJavaExt toJava)
Node
labelCheck(LabelChecker lc)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public ConstructorDeclJifExt(ToJavaExt toJava)
public Node labelCheck(LabelChecker lc) throws SemanticException
SemanticException