eu.bandm.tools.dtd

Class ContentSimplifier

java.lang.Object

eu.bandm.tools.dtd.DTD.MATCH_ONLY_00

eu.bandm.tools.dtd.DTD.SinglePathVisitor

eu.bandm.tools.dtd.ContentSimplifier

public class ContentSimplifier
extends DTD.SinglePathVisitor

Rewriter which simplifies all content models in a Dtd. The transformation is the fixpoint of the infinite application of

   ,  a  a? a+  a*      |  a  a? a+  a*      o  x  x? x+  x*         
   a  -  -  -   a+      a  -  a? a+  a*      a  -  a? a+  a*   
   a? -  -  a+  a*      a? a? -  a*  a*      a? -  A?  a*  a*   ASK BT !?!?
   a+ -  a+ aa+ a+      a+ a+ a* -   a*      a+ -  a* a+  a*   
   a* a+ a* a+  a*      a* a+ a* a*  -       a* -  a* a*  a*     
   
   - = no change        - = out=in           - = out=in

Additionally, SEQUENCES and ALTERNATIVES are FLATTENED. It can either be applied to non-desstructively to a certain content model explicitly by simplify(DTD.CP).
And it can be applied to a DTD model (as a whole or to some element declarations) to destructively replace all content models contained therein by calling match(Object).

Field Summary

Fields inherited from class eu.bandm.tools.dtd.DTD.MATCH_ONLY_00

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor and Description
ContentSimplifier()

Method Summary

Modifier and Type	Method and Description
void	action(DTD.Abbrev abbrev)
void	action(DTD.Choice choice)
void	action(DTD.Element element)
void	action(DTD.Seq seq)
void	action(DTD.Singleton singleton)
protected boolean	mustExpand(String name)
DTD.CP	simplify(DTD.CP cp) Nondestructive, returns a new content model which is the simplification of the argument.

Methods inherited from class eu.bandm.tools.dtd.DTD.SinglePathVisitor

action, action, action, 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.dtd.DTD.MATCH_ONLY_00

action, 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, match, nomatch

Methods inherited from class java.lang.Object

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

Constructor Detail

ContentSimplifier

public ContentSimplifier()

Method Detail

action

public void action(DTD.Element element)

Overrides:

action in class DTD.SinglePathVisitor

simplify

public DTD.CP simplify(DTD.CP cp)

Nondestructive, returns a new content model which is the simplification of the argument.

action

public void action(DTD.Seq seq)

Overrides:

action in class DTD.SinglePathVisitor

action

public void action(DTD.Choice choice)

Overrides:

action in class DTD.SinglePathVisitor

action

public void action(DTD.Singleton singleton)

Overrides:

action in class DTD.SinglePathVisitor

action

public void action(DTD.Abbrev abbrev)

Overrides:

action in class DTD.SinglePathVisitor

mustExpand

protected boolean mustExpand(String name)