net.sourceforge.czt.parser.zeves

Class Proofword

java.lang.Object

net.sourceforge.czt.parser.util.Decorword

net.sourceforge.czt.parser.zeves.Proofword

public class Proofword
extends Decorword

Note that the wordpart of a decorword can be empty, which does not represent a DECORWORD in the ISO Z standard.

Author:

Petra Malik

Constructor Summary

Constructors

Constructor and Description
Proofword(String decorword)
Proofword(String decorword, LocInfo locInfo)
Proofword(String word, net.sourceforge.czt.z.ast.ZStrokeList strokes)
Proofword(String word, net.sourceforge.czt.z.ast.ZStrokeList strokes, LocInfo locInfo)

Method Summary

Methods inherited from class net.sourceforge.czt.parser.util.Decorword

check, getExtraInfo, getLocation, getName, getStrokes, getWord, setExtraInfo, setLocation, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Proofword

public Proofword(String word,
                 net.sourceforge.czt.z.ast.ZStrokeList strokes,
                 LocInfo locInfo)

Throws:

IllegalArgumentException - if the list of strokes contains an unknown stroke type.

Proofword

public Proofword(String word,
                 net.sourceforge.czt.z.ast.ZStrokeList strokes)

Proofword

public Proofword(String decorword,
                 LocInfo locInfo)

Proofword

public Proofword(String decorword)