Package eu.bandm.tools.tpath.parser2

Class Parser<D>

java.lang.Object

eu.bandm.tools.tpath.parser2.Parser<D>

Type Parameters:

D - Document type identifier

public class Parser<D>
extends Object

Parser for tpath expressions, based on bandm Lexic and Ramus. The syntax implemented here does differ slightly from the proposal in [XPath 1.0] and is as follows:

 abbreviatedStep ::= selfStep | parentStep  

 separator ::= slash | doubleSlash

 abbreviatedAxisSpecifier ::= @ | 
 explicitAxisSpecifier ::= ("ancestor" | "ancestorOrSelf" | ...), "::"
 axisSpecifier ::= explicitAxisSpecifier | abbreviatedAxisSpecifier

 nodeTest ::= nameTest | testComment| testText | testNode | testPI |
              testNodeUri | testElement
  
 explicitStep ::= axisSpecifier, nodetest, predicate*
 step ::= explicitStep | abbreviatedStep   

 relativeStep ::= separator, step
 f_relativeLocationPath ::= step, relativeStep*
 relativeLocationPath ::= f_relativeLocationPath
 absoluteLocationPath ::= separator, f_relativeLocationPath
 locationPath ::= absoluteLocationPath | relativeLocationPath

 ( abbreviatedRelativeLocationPath and abbreviatedAbsoluteLocationPath 
   are already realized by allowing everywhere the separator "//".)
 

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final TokenRule<TokenType>	AVT_prefix
(package private) final CheckedList<TPath.Expr>	emptyTests
protected final Function<Location<D>,Location<XMLDocumentIdentifier>>	encodeLocation
final Expression<D,TokenType,TPath.Expr>	expr
final Expression<D,TokenType,TPath.Literal>	non_braced	Longest sequence of characters up to the first single opening brace.

Constructor Summary

Constructors

Constructor	Description
Parser(Function<Location<D>,Location<XMLDocumentIdentifier>> encodeLocation)	Instances are only needed to set the type parameter <D> = document identifier.

Method Summary

Modifier and Type	Method	Description
Expression<D,TokenType,TPath.Expr>	attributeValueTemplate(LookaheadTokenMultiplexer<Boolean,D,TokenType,int[]> mux)
Expression<D,TokenType,TPath.FunctionCall>	bracedExpr(LookaheadTokenMultiplexer<Boolean,D,TokenType,int[]> mux)
protected Location<XMLDocumentIdentifier>	encodeLocation(Location<D> loc)
protected String	extract(String var)	Remove the leading and trailing quotes from a »literal«.
protected Location<XMLDocumentIdentifier>	getLocation(Reducer.Context<D> context)
LookaheadTokenMultiplexer<Boolean,D,TokenType,int[]>	multiplexedTokenSource(Reader reader, D sourceIndication)
TPath.Expr	parse(Reader reader, MessageReceiver<SimpleMessage<D>> msg, D sourceIndication)	Service Access Point for converting a complete text (ended with EOF) into a tpath expression.
TPath.Expr	parse_AVT(Reader reader, MessageReceiver<SimpleMessage<D>> msg, D sourceIndication)
Expression<D,TokenType,TPath.Expr>	parse_embed(LookaheadTokenMultiplexer<Boolean,D,TokenType,int[]> mux)
<R> R	parse_nonterminal(Expression<D,TokenType,R> nonterminal, LookaheadTokenSource<D,TokenType,int[]> tokenSource, MessageReceiver<SimpleMessage<D>> msg)
<R> R	parse_nonterminal(Expression<D,TokenType,R> nonterminal, Reader reader, MessageReceiver<SimpleMessage<D>> msg, D sourceIndication)	Service Access Point for parsing a particular non-terminal.
LookaheadTokenSource<D,TokenType,int[]>	tokenSource(Reader reader, D sourceIndication)
protected Expression<D,TokenType,String>	unparsedLiteralText(TokenType... types)

Methods inherited from class java.lang.Object

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

Field Details

encodeLocation

protected final Function<Location<D>,Location<XMLDocumentIdentifier>> encodeLocation

emptyTests

final CheckedList<TPath.Expr> emptyTests

expr

public final Expression<D,TokenType,TPath.Expr> expr

non_braced

public final Expression<D,TokenType,TPath.Literal> non_braced

Longest sequence of characters up to the first single opening brace.

AVT_prefix

final TokenRule<TokenType> AVT_prefix

Constructor Details

Parser

public Parser(Function<Location<D>,Location<XMLDocumentIdentifier>> encodeLocation)

Instances are only needed to set the type parameter <D> = document identifier.

Parameters:

encodeLocation - is used for generating the umod model elements.

Method Details

parse_nonterminal

@Opt
public <R> R parse_nonterminal(Expression<D,TokenType,R> nonterminal,
 Reader reader,
 MessageReceiver<SimpleMessage<D>> msg,
 D sourceIndication)

Service Access Point for parsing a particular non-terminal.

parse_nonterminal

@Opt
public <R> R parse_nonterminal(Expression<D,TokenType,R> nonterminal,
 LookaheadTokenSource<D,TokenType,int[]> tokenSource,
 MessageReceiver<SimpleMessage<D>> msg)

parse

@Opt
public TPath.Expr parse(Reader reader,
 MessageReceiver<SimpleMessage<D>> msg,
 D sourceIndication)

Service Access Point for converting a complete text (ended with EOF) into a tpath expression.

encodeLocation

protected Location<XMLDocumentIdentifier> encodeLocation(Location<D> loc)

tokenSource

public LookaheadTokenSource<D,TokenType,int[]> tokenSource(Reader reader,
 D sourceIndication)

getLocation

protected Location<XMLDocumentIdentifier> getLocation(Reducer.Context<D> context)

unparsedLiteralText

protected Expression<D,TokenType,String> unparsedLiteralText(TokenType... types)

extract

protected String extract(String var)

Remove the leading and trailing quotes from a »literal«.

bracedExpr

public Expression<D,TokenType,TPath.FunctionCall> bracedExpr(LookaheadTokenMultiplexer<Boolean,D,TokenType,int[]> mux)

parse_embed

public Expression<D,TokenType,TPath.Expr> parse_embed(LookaheadTokenMultiplexer<Boolean,D,TokenType,int[]> mux)

attributeValueTemplate

public Expression<D,TokenType,TPath.Expr> attributeValueTemplate(LookaheadTokenMultiplexer<Boolean,D,TokenType,int[]> mux)

multiplexedTokenSource

public LookaheadTokenMultiplexer<Boolean,D,TokenType,int[]> multiplexedTokenSource(Reader reader,
 D sourceIndication)

parse_AVT

@Opt
public TPath.Expr parse_AVT(Reader reader,
 MessageReceiver<SimpleMessage<D>> msg,
 D sourceIndication)