net.sourceforge.czt.print.circus
Class WarningManager
java.lang.Object
net.sourceforge.czt.parser.util.WarningManager
net.sourceforge.czt.print.circus.WarningManager
public class WarningManager
- extends net.sourceforge.czt.parser.util.WarningManager
- Author:
- leo
|
Method Summary |
void |
warn(CircusPrintMessage cpm,
java.lang.Object... arguments)
|
void |
warnBadParagraphFor(java.lang.String msg,
net.sourceforge.czt.z.ast.Para para,
net.sourceforge.czt.circus.ast.BasicProcess term)
|
void |
warnDuplicatedState(net.sourceforge.czt.base.ast.Term term)
|
void |
warnLocalOnTheFly(net.sourceforge.czt.base.ast.Term para,
net.sourceforge.czt.circus.ast.BasicProcess term)
|
void |
warnMissingFor(java.lang.String msg,
net.sourceforge.czt.circus.ast.BasicProcess term)
|
| Methods inherited from class net.sourceforge.czt.parser.util.WarningManager |
clear, getCurrentSectName, getLoggerClass, getZSectWarnings, setCurrentSectName, warn |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
WarningManager
public WarningManager()
WarningManager
public WarningManager(java.lang.Class<?> forLogger)
- Creates a new instance of WarningManager
warn
public void warn(CircusPrintMessage cpm,
java.lang.Object... arguments)
warnMissingFor
public void warnMissingFor(java.lang.String msg,
net.sourceforge.czt.circus.ast.BasicProcess term)
warnBadParagraphFor
public void warnBadParagraphFor(java.lang.String msg,
net.sourceforge.czt.z.ast.Para para,
net.sourceforge.czt.circus.ast.BasicProcess term)
warnLocalOnTheFly
public void warnLocalOnTheFly(net.sourceforge.czt.base.ast.Term para,
net.sourceforge.czt.circus.ast.BasicProcess term)
warnDuplicatedState
public void warnDuplicatedState(net.sourceforge.czt.base.ast.Term term)
Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.