net.sourceforge.czt.print.circus
Class WarningManager

java.lang.Object
  extended by net.sourceforge.czt.parser.util.WarningManager
      extended by net.sourceforge.czt.print.circus.WarningManager

public class WarningManager
extends net.sourceforge.czt.parser.util.WarningManager

Author:
leo

Constructor Summary
WarningManager()
           
WarningManager(java.lang.Class<?> forLogger)
          Creates a new instance of WarningManager
 
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
 

Constructor Detail

WarningManager

public WarningManager()

WarningManager

public WarningManager(java.lang.Class<?> forLogger)
Creates a new instance of WarningManager

Method Detail

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.