Dresden OCL Toolkit

tudresden.ocl.check
Interface TypeQueryable

All Superinterfaces:
NameBoundQueryable, Switch
All Known Implementing Classes:
OclTree, TypeChecker

public interface TypeQueryable
extends NameBoundQueryable

This interface is used by code generator and normalization modules to query type information as it is supplied for example by the class TypeChecker.


Method Summary
 Type getNodeType(Node n)
           
 Type getTypeFor(String name, Node node)
           
 
Methods inherited from interface tudresden.ocl.check.NameBoundQueryable
changeNotify, getBoundNames, getDefaultContext, isNameBound
 

Method Detail

getTypeFor

public Type getTypeFor(String name,
                       Node node)
Returns:
the type of the variable bound to the given name, or null if the name is not bound

getNodeType

public Type getNodeType(Node n)

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.