eu.bandm.sig.absy
Class SAX_Parser

java.lang.Object
  eu.bandm.tools.umod.runtime.TsoapPrimitives.Parser
      eu.bandm.sig.absy.SAX_Parser

public class SAX_Parser
extends TsoapPrimitives.Parser

Nested Class Summary

protected class	SAX_Parser.XMLPARSER_AggregateType
protected class	SAX_Parser.XMLPARSER_Application
protected class	SAX_Parser.XMLPARSER_ArrowType
protected class	SAX_Parser.XMLPARSER_CaseExpr
protected class	SAX_Parser.XMLPARSER_CastExpr
protected class	SAX_Parser.XMLPARSER_ConjunctivePattern
protected class	SAX_Parser.XMLPARSER_Coproduct
protected class	SAX_Parser.XMLPARSER_DifferenceDimension
protected class	SAX_Parser.XMLPARSER_Dimension
protected class	SAX_Parser.XMLPARSER_DimensionPower
protected class	SAX_Parser.XMLPARSER_DimensionProduct
protected class	SAX_Parser.XMLPARSER_DimensionQuotient
protected class	SAX_Parser.XMLPARSER_DimensionReference
protected class	SAX_Parser.XMLPARSER_DimensionType
protected class	SAX_Parser.XMLPARSER_Equation
protected class	SAX_Parser.XMLPARSER_ExistentialType
protected class	SAX_Parser.XMLPARSER_Expr
protected class	SAX_Parser.XMLPARSER_ExprReference
protected class	SAX_Parser.XMLPARSER_ExprVariable
protected class	SAX_Parser.XMLPARSER_Index
protected class	SAX_Parser.XMLPARSER_Instantiation
protected class	SAX_Parser.XMLPARSER_Label
protected class	SAX_Parser.XMLPARSER_LambdaExpr
protected class	SAX_Parser.XMLPARSER_LetExpr
protected class	SAX_Parser.XMLPARSER_Name
protected class	SAX_Parser.XMLPARSER_PackExpr
protected class	SAX_Parser.XMLPARSER_ParametricType
protected class	SAX_Parser.XMLPARSER_Pattern
protected class	SAX_Parser.XMLPARSER_PatternVariable
protected class	SAX_Parser.XMLPARSER_PolyExpr
protected class	SAX_Parser.XMLPARSER_PolynomialDimension
protected class	SAX_Parser.XMLPARSER_Product
protected class	SAX_Parser.XMLPARSER_QuantifiedType
protected class	SAX_Parser.XMLPARSER_Rule
protected class	SAX_Parser.XMLPARSER_Selection
protected class	SAX_Parser.XMLPARSER_SimpleDimension
protected class	SAX_Parser.XMLPARSER_Tuple
protected class	SAX_Parser.XMLPARSER_TuplePattern
protected class	SAX_Parser.XMLPARSER_Type
protected class	SAX_Parser.XMLPARSER_TypeApplication
protected class	SAX_Parser.XMLPARSER_TypeBinding
protected class	SAX_Parser.XMLPARSER_TypeBoundVariable
protected class	SAX_Parser.XMLPARSER_TypeComponent
protected class	SAX_Parser.XMLPARSER_TypeDomain
protected class	SAX_Parser.XMLPARSER_TypeExpression
protected class	SAX_Parser.XMLPARSER_TypeOf
protected class	SAX_Parser.XMLPARSER_TypeRange
protected class	SAX_Parser.XMLPARSER_TypeReference
protected class	SAX_Parser.XMLPARSER_TypeUnknown
protected class	SAX_Parser.XMLPARSER_TypeVariable
protected class	SAX_Parser.XMLPARSER_UnaryTypeExpression
protected class	SAX_Parser.XMLPARSER_UniversalType
protected class	SAX_Parser.XMLPARSER_VariantExpr
protected class	SAX_Parser.XMLPARSER_VariantPattern

Field Summary

Fields inherited from class eu.bandm.tools.umod.runtime.TsoapPrimitives.Parser

config, id2model, idsDefined, in, next_atts, next_element_id, next_element_idref, next_element_name

Constructor Summary

SAX_Parser(eu.bandm.tools.util.SAXEventStream in, XMLconfiguration config)

Method Summary

protected boolean	consumeNullRef()
AggregateType	matchSAX_AggregateType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Application	matchSAX_Application(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
ArrowType	matchSAX_ArrowType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
CaseExpr	matchSAX_CaseExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
CastExpr	matchSAX_CastExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
ConjunctivePattern	matchSAX_ConjunctivePattern(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Coproduct	matchSAX_Coproduct(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
DifferenceDimension	matchSAX_DifferenceDimension(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Dimension	matchSAX_Dimension(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
DimensionPower	matchSAX_DimensionPower(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
DimensionProduct	matchSAX_DimensionProduct(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
DimensionQuotient	matchSAX_DimensionQuotient(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
DimensionReference	matchSAX_DimensionReference(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
DimensionType	matchSAX_DimensionType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Equation	matchSAX_Equation(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
ExistentialType	matchSAX_ExistentialType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Expr	matchSAX_Expr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
ExprReference	matchSAX_ExprReference(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
ExprVariable	matchSAX_ExprVariable(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Index	matchSAX_Index(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Instantiation	matchSAX_Instantiation(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Label	matchSAX_Label(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
LambdaExpr	matchSAX_LambdaExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
LetExpr	matchSAX_LetExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Name	matchSAX_Name(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
PackExpr	matchSAX_PackExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
ParametricType	matchSAX_ParametricType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Pattern	matchSAX_Pattern(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
PatternVariable	matchSAX_PatternVariable(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
PolyExpr	matchSAX_PolyExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
PolynomialDimension	matchSAX_PolynomialDimension(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Product	matchSAX_Product(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
QuantifiedType	matchSAX_QuantifiedType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Rule	matchSAX_Rule(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Selection	matchSAX_Selection(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
SimpleDimension	matchSAX_SimpleDimension(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Tuple	matchSAX_Tuple(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TuplePattern	matchSAX_TuplePattern(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Type	matchSAX_Type(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TypeApplication	matchSAX_TypeApplication(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TypeBinding	matchSAX_TypeBinding(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TypeBoundVariable	matchSAX_TypeBoundVariable(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TypeComponent	matchSAX_TypeComponent(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TypeDomain	matchSAX_TypeDomain(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TypeExpression	matchSAX_TypeExpression(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TypeOf	matchSAX_TypeOf(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TypeRange	matchSAX_TypeRange(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TypeReference	matchSAX_TypeReference(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TypeUnknown	matchSAX_TypeUnknown(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
TypeVariable	matchSAX_TypeVariable(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
UnaryTypeExpression	matchSAX_UnaryTypeExpression(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
UniversalType	matchSAX_UniversalType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
VariantExpr	matchSAX_VariantExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
VariantPattern	matchSAX_VariantPattern(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
protected CheckedList<Dimension>	parse_0()
protected CheckedMap_RD<Label,Rule>	parse_1()
protected CheckedList<Equation>	parse_2()
protected CheckedMap_RD<Label,Rule>	parse_3()
protected CheckedMap_RD<Label,Expr>	parse_4()
protected CheckedMap_RD<Label,Pattern>	parse_5()
protected CheckedMap_RD<Label,Type>	parse_6()
protected CheckedMap_RD<Label,TypeBoundVariable>	parse_7()
protected Object	testref(Object stub)

Methods inherited from class eu.bandm.tools.umod.runtime.TsoapPrimitives.Parser

checkend, consumestart, finalCheck, getchars, parse_bool, parse_char, parse_float, parse_int, parse_string, putRef, skipWStoOpenTag, testfield, testNullRef, testRef

Methods inherited from class java.lang.Object

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

Constructor Detail

SAX_Parser

public SAX_Parser(eu.bandm.tools.util.SAXEventStream in,
                  XMLconfiguration config)

Method Detail

testref

protected Object testref(Object stub)

consumeNullRef

protected boolean consumeNullRef()

matchSAX_Dimension

public Dimension matchSAX_Dimension(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_SimpleDimension

public SimpleDimension matchSAX_SimpleDimension(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_DimensionReference

public DimensionReference matchSAX_DimensionReference(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_DifferenceDimension

public DifferenceDimension matchSAX_DifferenceDimension(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_DimensionProduct

public DimensionProduct matchSAX_DimensionProduct(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

parse_0

protected CheckedList<Dimension> parse_0()

matchSAX_DimensionQuotient

public DimensionQuotient matchSAX_DimensionQuotient(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_DimensionPower

public DimensionPower matchSAX_DimensionPower(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_PolynomialDimension

public PolynomialDimension matchSAX_PolynomialDimension(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Equation

public Equation matchSAX_Equation(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Expr

public Expr matchSAX_Expr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_ExprVariable

public ExprVariable matchSAX_ExprVariable(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_ExprReference

public ExprReference matchSAX_ExprReference(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_CaseExpr

public CaseExpr matchSAX_CaseExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

parse_1

protected CheckedMap_RD<Label,Rule> parse_1()

matchSAX_LetExpr

public LetExpr matchSAX_LetExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

parse_2

protected CheckedList<Equation> parse_2()

matchSAX_LambdaExpr

public LambdaExpr matchSAX_LambdaExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

parse_3

protected CheckedMap_RD<Label,Rule> parse_3()

matchSAX_PolyExpr

public PolyExpr matchSAX_PolyExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_VariantExpr

public VariantExpr matchSAX_VariantExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Tuple

public Tuple matchSAX_Tuple(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

parse_4

protected CheckedMap_RD<Label,Expr> parse_4()

matchSAX_Application

public Application matchSAX_Application(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Instantiation

public Instantiation matchSAX_Instantiation(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Selection

public Selection matchSAX_Selection(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_CastExpr

public CastExpr matchSAX_CastExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_PackExpr

public PackExpr matchSAX_PackExpr(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Label

public Label matchSAX_Label(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Index

public Index matchSAX_Index(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Name

public Name matchSAX_Name(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Pattern

public Pattern matchSAX_Pattern(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_PatternVariable

public PatternVariable matchSAX_PatternVariable(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_TuplePattern

public TuplePattern matchSAX_TuplePattern(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

parse_5

protected CheckedMap_RD<Label,Pattern> parse_5()

matchSAX_VariantPattern

public VariantPattern matchSAX_VariantPattern(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_ConjunctivePattern

public ConjunctivePattern matchSAX_ConjunctivePattern(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Rule

public Rule matchSAX_Rule(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Type

public Type matchSAX_Type(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_TypeVariable

public TypeVariable matchSAX_TypeVariable(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_TypeUnknown

public TypeUnknown matchSAX_TypeUnknown(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_TypeReference

public TypeReference matchSAX_TypeReference(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_AggregateType

public AggregateType matchSAX_AggregateType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

parse_6

protected CheckedMap_RD<Label,Type> parse_6()

matchSAX_Product

public Product matchSAX_Product(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_Coproduct

public Coproduct matchSAX_Coproduct(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_ArrowType

public ArrowType matchSAX_ArrowType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_QuantifiedType

public QuantifiedType matchSAX_QuantifiedType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_UniversalType

public UniversalType matchSAX_UniversalType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_ExistentialType

public ExistentialType matchSAX_ExistentialType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_ParametricType

public ParametricType matchSAX_ParametricType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_TypeExpression

public TypeExpression matchSAX_TypeExpression(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_TypeOf

public TypeOf matchSAX_TypeOf(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_UnaryTypeExpression

public UnaryTypeExpression matchSAX_UnaryTypeExpression(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_TypeDomain

public TypeDomain matchSAX_TypeDomain(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_TypeRange

public TypeRange matchSAX_TypeRange(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_TypeComponent

public TypeComponent matchSAX_TypeComponent(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_TypeApplication

public TypeApplication matchSAX_TypeApplication(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_DimensionType

public DimensionType matchSAX_DimensionType(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

matchSAX_TypeBinding

public TypeBinding matchSAX_TypeBinding(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)

parse_7

protected CheckedMap_RD<Label,TypeBoundVariable> parse_7()

matchSAX_TypeBoundVariable

public TypeBoundVariable matchSAX_TypeBoundVariable(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)