org.stekikun.dolmen.syntax

Class PProduction.Actual

java.lang.Object

org.stekikun.dolmen.syntax.PProduction.Item

org.stekikun.dolmen.syntax.PProduction.Actual

Enclosing class:

PProduction

public static final class PProduction.Actual
extends PProduction.Item

Represents an actual production item, i.e. an expression representing a rule of the grammar via a terminal, a parameter of the production's rule, or a non-terminal potentially applied recursively to such expressions.

The rule described by the item can optionally be applied to some arguments, as expected by the item's head-symbol when it is a non-terminal.

The production item can optionally be bound to some Java identifier, in which case the associated value is made available in the enclosing production's semantic action.

Author:

Stéphane Lescuyer

See Also:

isTerminal(), isBound()

Field Summary

Fields

Modifier and Type	Field and Description
@Nullable PExtent	args The Java arguments to the production item, if any.
@Nullable Located<String>	binding The name to which this item is bound in the associated semantic action, if non-null
PProduction.ActualExpr	item The actual expression representing the rule or token to be used as this production item.

Constructor Summary

Constructors

Constructor and Description
Actual(@Nullable Located<String> binding, PProduction.ActualExpr item, @Nullable PExtent args) Builds a production item based on the given parameters

Method Summary

Modifier and Type	Method and Description
PProduction.ItemKind	getKind() Describes the kind of item this is
boolean	isBound()
boolean	isTerminal()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

binding

public final @Nullable Located<String> binding

The name to which this item is bound in the associated semantic action, if non-null

item

public final PProduction.ActualExpr item

The actual expression representing the rule or token to be used as this production item.

args

public final @Nullable PExtent args

The Java arguments to the production item, if any. Arguments only make sense if item is a non-terminal (or a parameter which will only be instantiated by non-terminals expecting parameters).

This Java extent can contain holes referring to the formal parameters available in the rule this appears in.

Constructor Detail

Actual

public Actual(@Nullable Located<String> binding,
              PProduction.ActualExpr item,
              @Nullable PExtent args)

Builds a production item based on the given parameters

Parameters:

binding -

item -

args -

Method Detail

getKind

public final PProduction.ItemKind getKind()

Description copied from class: PProduction.Item

Describes the kind of item this is

Specified by:

getKind in class PProduction.Item

isBound

public boolean isBound()

Returns:

true is this item is bound to some identifier

isTerminal

public boolean isTerminal()

Returns:

true is this item is a terminal

toString

public String toString()

Overrides:

toString in class Object