public class Proofword extends Decorword
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) |
check, getExtraInfo, getLocation, getName, getStrokes, getWord, setExtraInfo, setLocation, toString
public Proofword(String word, net.sourceforge.czt.z.ast.ZStrokeList strokes, LocInfo locInfo)
IllegalArgumentException
- if the list of strokes
contains an unknown stroke type.public Proofword(String word, net.sourceforge.czt.z.ast.ZStrokeList strokes)
public Proofword(String decorword)
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.