io.parsingdata.metal.token

Class Post

java.lang.Object

io.parsingdata.metal.token.Token

io.parsingdata.metal.token.Post

public class Post
extends Token

A Token that specifies a postcondition for parsing a nested token.

A Post consists of a predicate (an Expression) and a token (a Token). First the token is parsed. If parsing succeeds, then predicate is evaluated. If it evaluates to true, this token will succeed. In all other situations, parsing this token fails.

See Also:

Expression

Field Summary

Fields

Modifier and Type	Field and Description
Expression	predicate
Token	token

Fields inherited from class io.parsingdata.metal.token.Token

EMPTY_NAME, encoding, name, NO_NAME, SEPARATOR

Constructor Summary

Constructors

Constructor and Description
Post(String name, Token token, Expression predicate, Encoding encoding)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	hashCode()
protected Optional<ParseState>	parseImpl(Environment environment)
String	toString()

Methods inherited from class io.parsingdata.metal.token.Token

getCanonical, isLocal, makeNameFragment, parse

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

token

public final Token token

predicate

public final Expression predicate

Constructor Detail

Post

public Post(String name,
            Token token,
            Expression predicate,
            Encoding encoding)

Method Detail

parseImpl

protected Optional<ParseState> parseImpl(Environment environment)

Specified by:

parseImpl in class Token

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Token

hashCode

public int hashCode()

Overrides:

hashCode in class Token