org.stekikun.dolmen.syntax

Class PExtent.Builder

java.lang.Object

org.stekikun.dolmen.syntax.PExtent.Builder

Enclosing class:

PExtent

public static final class PExtent.Builder
extends Object

Builder class for parameterized extends

Author:

Stéphane Lescuyer

Constructor Summary

Constructors

Constructor and Description
Builder(String filename, int startPos, int startLine, int startCol) Starts building a parameterized extent from the given source position

Method Summary

Modifier and Type	Method and Description
PExtent.Builder	addHole(int sourcePos, String name, int startLine, int startCol) Adds a new hole at source position sourcePos and linked with the parameter name
PExtent	build(int endPos) Closes the extent at the given source position endPos and returns it.

Methods inherited from class java.lang.Object

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

Constructor Detail

Builder

public Builder(String filename,
               int startPos,
               int startLine,
               int startCol)

Starts building a parameterized extent from the given source position

Parameters:

filename -

startPos -

startLine -

startCol -

Method Detail

addHole

public PExtent.Builder addHole(int sourcePos,
                               String name,
                               int startLine,
                               int startCol)

Adds a new hole at source position sourcePos and linked with the parameter name

Parameters:

sourcePos -

name -

startLine -

startCol -

Returns:

this builder

build

public PExtent build(int endPos)

Closes the extent at the given source position endPos and returns it. This PExtent.Builder instance must not be used anymore after this method has been called.

Parameters:

endPos -

Returns:

the extent described by this builder and ending at endPos