Package eu.bandm.tools.xslt.base

Class PathMap

java.lang.Object

eu.bandm.tools.dtm.DTM.MATCH_ONLY_00

eu.bandm.tools.dtm.DTM.SinglePathVisitor

eu.bandm.tools.xslt.base.PathMap

public class PathMap
extends DTM.SinglePathVisitor

Encoding of the target language parse automaton as states and relations. Required to work in deterministic and non-deterministic mode for Fragmented Validation of XSLT code. Collects all possible paths through content models for one given dtd. The algorithm is a variant of the tpath algorithm described in the "absynt" paper. Here all content model positions are encoded as integers. We need three relations:

1. between parsing positions and the element/pcdata/attributes which must be consumed to reach them,
2. between parsing positions and the content model they belong to (currently diagnosis only!),
3. among parsing positions, representing legal transitions.

Addtionally we have the set of accepting states and one start position for each content model.
For uniform treatment, the toplevel document and all pc data contents are represented by one pseudo element each.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	PathMap.MakeDifferent	Rewriter which gives object identity to element references in content models.
(package private) static class	PathMap.SingletonObject	Derived from DTM.Singleton, for imposing object identity.

Field Summary

Fields

Modifier and Type	Field	Description
protected Set<Integer>	accepting	All accepting states.
protected Set<Integer>	allStates	All states.
protected Set<DTM.Element>	anyContents
protected Multimap<Integer,DTM.Element>	belongsTo	content model position to the element it is part of its content model.
protected static final int	code_min_cp
(package private) DTM.Element	currentElement
protected DTM.Dtd	dtd
static final DTM.Element	el_PCDATA
protected Multimap<Integer,Integer>	goesTo	adjacency relation between content model positions.
protected Multimap<Integer,Integer>	goesTo_transRefl	reflexive and transitive closure
(package private) final Map<DTM.Singleton,Integer>	grammar2code
(package private) Set<Integer>	last
(package private) int	nextCode
protected Multimap<Integer,DTM.Element>	refersTo	content model position to the element it refers to.
protected Map<DTM.Element,Integer>	startPos	zero-th content model position of an element
static final PathMap	textOnly

Fields inherited from class eu.bandm.tools.dtm.DTM.MATCH_ONLY_00

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor	Description
PathMap()

Method Summary

Modifier and Type	Method	Description
void	action(DTM.Any x)
void	action(DTM.Choice choice)
void	action(DTM.Element element)
void	action(DTM.Empty e)
void	action(DTM.Mixed mixed)
void	action(DTM.Sequence seq)
void	action(DTM.Singleton sing)
void	dump(PrintStream p)
protected void	init(DTM.Dtd origDtd)	Construct all relations which represent the parsing automaton.
(package private) void	processModifier(DTM.CP cp)

Methods inherited from class eu.bandm.tools.dtm.DTM.SinglePathVisitor

action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, follow_alts, follow_attrs, follow_elems, follow_elems, follow_elems, follow_instructions

Methods inherited from class eu.bandm.tools.dtm.DTM.MATCH_ONLY_00

action, action, action, compile, followAll_alts, followAll_attrs, followAll_elems, followAll_elems, followAll_elems, followAll_instructions, foreignObject, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, nomatch

Methods inherited from class java.lang.Object

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

Field Details

dtd

protected DTM.Dtd dtd

refersTo

protected Multimap<Integer,DTM.Element> refersTo

content model position to the element it refers to.

belongsTo

protected Multimap<Integer,DTM.Element> belongsTo

content model position to the element it is part of its content model.

startPos

protected Map<DTM.Element,Integer> startPos

zero-th content model position of an element

goesTo

protected Multimap<Integer,Integer> goesTo

adjacency relation between content model positions.

goesTo_transRefl

protected Multimap<Integer,Integer> goesTo_transRefl

reflexive and transitive closure

accepting

protected Set<Integer> accepting

All accepting states.

allStates

protected Set<Integer> allStates

All states.

anyContents

protected Set<DTM.Element> anyContents

code_min_cp

protected static final int code_min_cp

See Also:

• Constant Field Values

el_PCDATA

public static final DTM.Element el_PCDATA

nextCode

int nextCode

last

Set<Integer> last

currentElement

DTM.Element currentElement

textOnly

public static final PathMap textOnly

grammar2code

final Map<DTM.Singleton,Integer> grammar2code

Constructor Details

PathMap

public PathMap()

Method Details

init

protected void init(DTM.Dtd origDtd)

Construct all relations which represent the parsing automaton. Create a dedicated node for the document, using the "root" parameter. FIXME NEEDED !?!?
Assume "new MakeDifferent().rewrite(origDtd)" or. sim. already done!

dump

public void dump(PrintStream p)

action

public void action(DTM.Element element)

Overrides:

action in class DTM.SinglePathVisitor

action

public void action(DTM.Any x)

Overrides:

action in class DTM.SinglePathVisitor

action

public void action(DTM.Mixed mixed)

Overrides:

action in class DTM.SinglePathVisitor

action

public void action(DTM.Empty e)

Overrides:

action in class DTM.SinglePathVisitor

processModifier

void processModifier(DTM.CP cp)

action

public void action(DTM.Singleton sing)

Overrides:

action in class DTM.SinglePathVisitor

action

public void action(DTM.Choice choice)

Overrides:

action in class DTM.SinglePathVisitor

action

public void action(DTM.Sequence seq)

Overrides:

action in class DTM.SinglePathVisitor