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.

Field Summary

Fields

Modifier and Type	Field and 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 int	code_min_cp
protected DTM.Dtd	dtd
static 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
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 PathMap	textOnly

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

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor and Description
PathMap()

Method Summary

Modifier and Type	Method and 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.

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

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

_visitor_trace, action, action, action, 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 Detail

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

textOnly

public static final PathMap textOnly

Constructor Detail

PathMap

public PathMap()

Method Detail

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

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