eu.bandm.sig.absy
Class SAX_Parser.XMLPARSER_LetExpr

java.lang.Object
  eu.bandm.sig.absy.SAX_Parser.XMLPARSER_Expr
      eu.bandm.sig.absy.SAX_Parser.XMLPARSER_LetExpr

Enclosing class:

SAX_Parser

protected class SAX_Parser.XMLPARSER_LetExpr
extends SAX_Parser.XMLPARSER_Expr

Field Summary

protected boolean	__check__body
protected boolean	__check__equations
protected LetExpr	newobj

Fields inherited from class eu.bandm.sig.absy.SAX_Parser.XMLPARSER_Expr

__check__type

Constructor Summary

protected

SAX_Parser.XMLPARSER_LetExpr()

Method Summary

void	parsefields(LetExpr newobj, eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
LetExpr	parseSAX()

Methods inherited from class eu.bandm.sig.absy.SAX_Parser.XMLPARSER_Expr

parsefields

Methods inherited from class java.lang.Object

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

Field Detail

newobj

protected LetExpr newobj

__check__equations

protected boolean __check__equations

__check__body

protected boolean __check__body

Constructor Detail

SAX_Parser.XMLPARSER_LetExpr

protected SAX_Parser.XMLPARSER_LetExpr()

Method Detail

parseSAX

public LetExpr parseSAX()

Overrides:

parseSAX in class SAX_Parser.XMLPARSER_Expr

parsefields

public void parsefields(LetExpr newobj,
                        eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)