Java Doc for Engine.java in  » Scripting » Nice » mlsub » typing » lowlevel » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation 1.  6.0 JDK Core 2.  6.0 JDK Modules 3.  6.0 JDK Modules com.sun 4.  6.0 JDK Modules com.sun.java 5.  6.0 JDK Modules sun 6.  6.0 JDK Platform 7.  Ajax 8.  Apache Harmony Java SE 9.  Aspect oriented 10.  Authentication Authorization 11.  Blogger System 12.  Build 13.  Byte Code 14.  Cache 15.  Chart 16.  Chat 17.  Code Analyzer 18.  Collaboration 19.  Content Management System 20.  Database Client 21.  Database DBMS 22.  Database JDBC Connection Pool 23.  Database ORM 24.  Development 25.  EJB Server geronimo 26.  EJB Server GlassFish 27.  EJB Server JBoss 4.2.1 28.  EJB Server resin 3.1.5 29.  ERP CRM Financial 30.  ESB 31.  Forum 32.  GIS 33.  Graphic Library 34.  Groupware 35.  HTML Parser 36.  IDE 37.  IDE Eclipse 38.  IDE Netbeans 39.  Installer 40.  Internationalization Localization 41.  Inversion of Control 42.  Issue Tracking 43.  J2EE 44.  JBoss 45.  JMS 46.  JMX 47.  Library 48.  Mail Clients 49.  Net 50.  Parser 51.  PDF 52.  Portal 53.  Profiler 54.  Project Management 55.  Report 56.  RSS RDF 57.  Rule Engine 58.  Science 59.  Scripting 60.  Search Engine 61.  Security 62.  Sevlet Container 63.  Source Control 64.  Swing Library 65.  Template Engine 66.  Test Coverage 67.  Testing 68.  UML 69.  Web Crawler 70.  Web Framework 71.  Web Mail 72.  Web Server 73.  Web Services 74.  Web Services apache cxf 2.0.1 75.  Web Services AXIS2 76.  Wiki Engine 77.  Workflow Engines 78.  XML 79.  XML UI Java Java Tutorial Java Open Source Jar File Download Java Articles Java Products Java by API Photoshop Tutorials Maya Tutorials Flash Tutorials 3ds-Max Tutorials Illustrator Tutorials GIMP Tutorials C# / C Sharp C# / CSharp Tutorial C# / CSharp Open Source ASP.Net ASP.NET Tutorial JavaScript DHTML JavaScript Tutorial JavaScript Reference HTML / CSS HTML CSS Reference C / ANSI-C C Tutorial C++ C++ Tutorial Ruby PHP Python Python Tutorial Python Open Source SQL Server / T-SQL SQL Server / T-SQL Tutorial Oracle PL / SQL Oracle PL/SQL Tutorial PostgreSQL SQL / MySQL MySQL Tutorial VB.Net VB.Net Tutorial Flash / Flex / ActionScript VBA / Excel / Access / Word XML XML Tutorial Microsoft Office PowerPoint 2007 Tutorial Microsoft Office Excel 2007 Tutorial Microsoft Office Word 2007 Tutorial

Java Source Code / Java Documentation » Scripting » Nice » mlsub.typing.lowlevel   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    mlsub.typing.lowlevel.Engine Engine abstract public class Engine (Code) Public interface to the lowlevel constraint implication checker. All accesses are done through this Engine. author:    bonniot Inner Class :final public static class Constraint implements Kind Field Summary final public static  int INVALID      public static  boolean dbg      public static  Engine.Constraint variablesConstraint      Method Summary public static  void backtrack(boolean tentative, boolean commit)      public static  Element canonify(Element e)      Return the element e is equivalent to after simplification. public static  void createInitialContext()      public static  void enter(boolean tentative)      Enters a new typing context. public static  void forceKind(Element element, Kind k)      Doesn't check kinding. public static  Engine.Constraint getConstraint(Kind kind)      public static  void implies()      Rigidify the current constraint. static  boolean isFreeUpwards(Element e)      public static  boolean isInRigidContext()      public static  boolean isRigid(Element e)      public static  void leave(boolean tentative, boolean commit)      Returns to the state we had before the last 'enter'. public static  void leq(Element[] e1, Element[] e2)      Iterates leq on two collections of Element. final public static  void leq(Element e1, Element e2)      final public static  void leq(Element e1, Element e2, boolean initial)      Asserts that elements have some ordering relation. public static  Iterator listConstraints()      public static  void register(Element e)      Prepare a new Element to be used. public static  void releaseInitialContext()      public static  void reset()      Return to the initial virgin state. public static  void satisfy()      Used in Polytype.simplify(). public static  void setKind(Element element, Kind k)      public static  void setTop(Element top)      public static  void simplify(ArrayList binders, ArrayList atoms)      Return the simplified constraint. public static  void startSimplify()      public static  void stopSimplify()      public static  void tag(Element e, int variance)      Field Detail INVALID final public static int INVALID(Code) dbg public static boolean dbg(Code) variablesConstraint public static Engine.Constraint variablesConstraint(Code) The constraint of monotype variables Method Detail backtrack public static void backtrack(boolean tentative, boolean commit)(Code) canonify public static Element canonify(Element e)(Code) Return the element e is equivalent to after simplification. createInitialContext public static void createInitialContext() throws Unsatisfiable(Code) enter public static void enter(boolean tentative)(Code) Enters a new typing context. If an enter() completed successfully, a matching leave() MUST be issued some time later by the caller. forceKind public static void forceKind(Element element, Kind k) throws Unsatisfiable(Code) Doesn't check kinding. Used in Typing.enumerate getConstraint public static Engine.Constraint getConstraint(Kind kind)(Code) implies public static void implies() throws Unsatisfiable(Code) Rigidify the current constraint. This means that no further assumptions will be made on it. exception:   Unsatisfiable - if the current context was not well kinded. isFreeUpwards static boolean isFreeUpwards(Element e)(Code) isInRigidContext public static boolean isInRigidContext()(Code) isRigid public static boolean isRigid(Element e)(Code) leave public static void leave(boolean tentative, boolean commit) throws Unsatisfiable(Code) Returns to the state we had before the last 'enter'. exception:   Unsatisfiable - if the constraint was not satisfiable. leq public static void leq(Element[] e1, Element[] e2) throws Unsatisfiable(Code) Iterates leq on two collections of Element. Parameters:   e1 - the smaller elements Parameters:   e2 - the greater elements exception:   Unsatisfiable - leq final public static void leq(Element e1, Element e2) throws Unsatisfiable(Code) leq final public static void leq(Element e1, Element e2, boolean initial) throws Unsatisfiable(Code) Asserts that elements have some ordering relation. Parameters:   e1 - a value of type 'Element' Parameters:   e2 - a value of type 'Element' exception:   Unsatisfiable - if the constraint is not satisfiable.However this fact may also be discovered later. listConstraints public static Iterator listConstraints()(Code) register public static void register(Element e)(Code) Prepare a new Element to be used. releaseInitialContext public static void releaseInitialContext()(Code) reset public static void reset()(Code) Return to the initial virgin state. satisfy public static void satisfy() throws Unsatisfiable(Code) Used in Polytype.simplify(). setKind public static void setKind(Element element, Kind k) throws Unsatisfiable(Code) setTop public static void setTop(Element top)(Code) simplify public static void simplify(ArrayList binders, ArrayList atoms)(Code) Return the simplified constraint. Must be surrounded by startSimplify and stopSimplify. startSimplify public static void startSimplify()(Code) stopSimplify public static void stopSimplify()(Code) tag public static void tag(Element e, int variance)(Code) Simplification Methods inherited from java.lang.Object native protected Object clone() throws CloneNotSupportedException(Code)(Java Doc) public boolean equals(Object obj)(Code)(Java Doc) protected void finalize() throws Throwable(Code)(Java Doc) final native public Class getClass()(Code)(Java Doc) native public int hashCode()(Code)(Java Doc) final native public void notify()(Code)(Java Doc) final native public void notifyAll()(Code)(Java Doc) public String toString()(Code)(Java Doc) final native public void wait(long timeout) throws InterruptedException(Code)(Java Doc) final public void wait(long timeout, int nanos) throws InterruptedException(Code)(Java Doc) final public void wait() throws InterruptedException(Code)(Java Doc)