Package eu.bandm.tools.tpath.absy

Class TPath.__SAX_Parser.XMLPARSER_Neg

java.lang.Object

eu.bandm.tools.tpath.absy.TPath.__SAX_Parser.XMLPARSER_Expr

eu.bandm.tools.tpath.absy.TPath.__SAX_Parser.XMLPARSER_UnaryExpr

eu.bandm.tools.tpath.absy.TPath.__SAX_Parser.XMLPARSER_Neg

Enclosing class:

TPath.__SAX_Parser

protected class TPath.__SAX_Parser.XMLPARSER_Neg
extends TPath.__SAX_Parser.XMLPARSER_UnaryExpr

Field Summary

Fields inherited from class eu.bandm.tools.tpath.absy.TPath.__SAX_Parser.XMLPARSER_UnaryExpr

__check__arg

Fields inherited from class eu.bandm.tools.tpath.absy.TPath.__SAX_Parser.XMLPARSER_Expr

__check__forced, __check__forcing

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	XMLPARSER_Neg()

Method Summary

Modifier and Type	Method	Description
void	fillFields(TPath.Neg newobj)

Methods inherited from class eu.bandm.tools.tpath.absy.TPath.__SAX_Parser.XMLPARSER_UnaryExpr

fillFields, parsefields

Methods inherited from class eu.bandm.tools.tpath.absy.TPath.__SAX_Parser.XMLPARSER_Expr

fillFields, parsefields

Methods inherited from class java.lang.Object

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

Constructor Details

XMLPARSER_Neg

protected XMLPARSER_Neg()

Method Details

fillFields

public void fillFields(TPath.Neg newobj)