Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
de.tuberlin.cs.cis.ocl.env.Environment

Packages that use Environment
de.tuberlin.cs.cis.ocl.check Provides classes for OCL context and type checking.  
 

Uses of Environment in de.tuberlin.cs.cis.ocl.check
 

Methods in de.tuberlin.cs.cis.ocl.check that return Environment
 Environment ContextChecker.checkContext(de.tuberlin.cs.cis.ocl.parser.node.Start ast)
          Runs a context check on specified OCL constraints in the context of this context checker's model.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES