Package eu.bandm.tools.tpath.absy

Class TPath.__SAX_Parser.XMLPARSER_Geq

java.lang.Object

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

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

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

Enclosing class:

TPath.__SAX_Parser

protected class TPath.__SAX_Parser.XMLPARSER_Geq
extends TPath.__SAX_Parser.XMLPARSER_BinaryExpr

Field Summary

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

__check__left, __check__right

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_Geq()

Method Summary

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

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

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_Geq

protected XMLPARSER_Geq()

Method Details

fillFields

public void fillFields(TPath.Geq newobj)