de.stups.probkodkod.parser.parser

Class Parser

java.lang.Object

de.stups.probkodkod.parser.parser.Parser

All Implemented Interfaces:

IParser

public class Parser
extends java.lang.Object
implements IParser

Field Summary

Fields

Modifier and Type	Field and Description
Analysis	ignoredTokens
protected java.util.ArrayList	nodeList

Constructor Summary

Constructors

Constructor and Description
Parser(Lexer lexer)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Map<PositionedNode,SourcecodeRange>	getMapping()
Start	parse()

Methods inherited from class java.lang.Object

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

Field Detail

ignoredTokens

public final Analysis ignoredTokens

nodeList

protected java.util.ArrayList nodeList

Constructor Detail

Parser

public Parser(Lexer lexer)

Method Detail

getMapping

public java.util.Map<PositionedNode,SourcecodeRange> getMapping()

Specified by:

getMapping in interface IParser

parse

public Start parse()
            throws ParserException,
                   LexerException,
                   java.io.IOException

Throws:

ParserException

LexerException

java.io.IOException