net.oneandone.mork.semantics

Class OagBuilder

java.lang.Object

net.oneandone.mork.semantics.OagBuilder

public class OagBuilder
extends Object

Build visit sequence for ordered attribute grammar. Based on the paper Uwe Kastens: "Ordered Attribute Grammars", Acta Informatics, 1980.

Constructor Summary

Constructors

Constructor and Description
OagBuilder(Ag semantics, Layout layout)

Method Summary

Modifier and Type	Method and Description
List<Attribute>[][]	createA(net.oneandone.graph.Graph<Attribute>[] ids) Computes Axy.
net.oneandone.graph.Graph<AttributeOccurrence>[]	createDP() Computes "dependency" relation DP (definition 1).
net.oneandone.graph.Graph<Attribute>[]	createDS(net.oneandone.graph.Graph<Attribute>[] ids, List<Attribute>[][] a) Computes DS, the completion of IDS using A.
net.oneandone.graph.Graph[]	createEDP(net.oneandone.graph.Graph[] dp, net.oneandone.graph.Graph<Attribute>[] ds)
net.oneandone.graph.Graph<AttributeOccurrence>[]	createIDP(net.oneandone.graph.Graph<AttributeOccurrence>[] dp) Computes "induced dependency" releation IDP (definition 2).
net.oneandone.graph.Graph<Attribute>[]	createIDS(net.oneandone.graph.Graph<AttributeOccurrence>[] idp) Computes "induced dependencies between attributes of symbols" IDS (Definition 3).
Visits[]	createVisits(net.oneandone.graph.Graph<AttributeOccurrence>[] edp, List<Attribute>[][] as)
static Visits[]	run(Ag ag, Layout layout, PrintWriter verbose)

Methods inherited from class java.lang.Object

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

Constructor Detail

OagBuilder

public OagBuilder(Ag semantics,
                  Layout layout)

Method Detail

run

public static Visits[] run(Ag ag,
                           Layout layout,
                           PrintWriter verbose)
                    throws GenericException

Throws:

GenericException

createDP

public net.oneandone.graph.Graph<AttributeOccurrence>[] createDP()

Computes "dependency" relation DP (definition 1).

Returns:

array indexed by productions where each Relation contains pairs of AttributeOccurrences.

createIDP

public net.oneandone.graph.Graph<AttributeOccurrence>[] createIDP(net.oneandone.graph.Graph<AttributeOccurrence>[] dp)

Computes "induced dependency" releation IDP (definition 2). The relation contains pairs of AttributeOcurrences.

Parameters:

dp - dependency relation

createIDS

public net.oneandone.graph.Graph<Attribute>[] createIDS(net.oneandone.graph.Graph<AttributeOccurrence>[] idp)

Computes "induced dependencies between attributes of symbols" IDS (Definition 3).

Returns:

Array indexed by symbols; relation with pairs of attributes.

createA

public List<Attribute>[][] createA(net.oneandone.graph.Graph<Attribute>[] ids)
                            throws GenericException

Computes Axy. (Definition 4).

Throws:

GenericException

createDS

public net.oneandone.graph.Graph<Attribute>[] createDS(net.oneandone.graph.Graph<Attribute>[] ids,
                                                       List<Attribute>[][] a)

Computes DS, the completion of IDS using A. (Definition 5).

createEDP

public net.oneandone.graph.Graph[] createEDP(net.oneandone.graph.Graph[] dp,
                                             net.oneandone.graph.Graph<Attribute>[] ds)

createVisits

public Visits[] createVisits(net.oneandone.graph.Graph<AttributeOccurrence>[] edp,
                             List<Attribute>[][] as)
                      throws GenericException

Throws:

GenericException