net.sourceforge.czt.parser.util
Class DefinitionTableService

java.lang.Object
  extended by net.sourceforge.czt.parser.util.DefinitionTableService
All Implemented Interfaces:
net.sourceforge.czt.session.Command

public class DefinitionTableService
extends java.lang.Object
implements net.sourceforge.czt.session.Command

A visitor that computes a DefinitionTable from a given Z Section.

Author:
Petra Malik

Constructor Summary
DefinitionTableService()
           
DefinitionTableService(net.sourceforge.czt.session.SectionInfo sectInfo)
          Creates a new definition table service.
 
Method Summary
 boolean compute(java.lang.String name, net.sourceforge.czt.session.SectionManager manager)
           
 java.lang.Class getInfoType()
           
 java.lang.Object run(net.sourceforge.czt.z.ast.ZSect sect)
           
 java.lang.Object run(net.sourceforge.czt.z.ast.ZSect sect, net.sourceforge.czt.session.SectionInfo sectInfo)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DefinitionTableService

public DefinitionTableService()

DefinitionTableService

public DefinitionTableService(net.sourceforge.czt.session.SectionInfo sectInfo)
Creates a new definition table service. The section information should be able to provide information of type net.sourceforge.czt.parser.util.DefinitionTable.class.

Method Detail

getInfoType

public java.lang.Class getInfoType()

run

public java.lang.Object run(net.sourceforge.czt.z.ast.ZSect sect)
                     throws net.sourceforge.czt.session.CommandException
Throws:
net.sourceforge.czt.session.CommandException

run

public java.lang.Object run(net.sourceforge.czt.z.ast.ZSect sect,
                            net.sourceforge.czt.session.SectionInfo sectInfo)
                     throws net.sourceforge.czt.session.CommandException
Throws:
net.sourceforge.czt.session.CommandException

compute

public boolean compute(java.lang.String name,
                       net.sourceforge.czt.session.SectionManager manager)
                throws net.sourceforge.czt.session.CommandException
Specified by:
compute in interface net.sourceforge.czt.session.Command
Throws:
net.sourceforge.czt.session.CommandException


Copyright © 2003-2007 Community Z Tools Project. All Rights Reserved.