Java Doc for MonotypeConstructor.java in  » Scripting » Nice » mlsub » typing » 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 
Source Cross Reference  Class Diagram Java Document (Java Doc) 


java.lang.Object
   mlsub.typing.Monotype
      mlsub.typing.MonotypeConstructor

MonotypeConstructor
final public class MonotypeConstructor extends Monotype (Code)
A monotype, build by application of a type constructor to type parameters.


Field Summary
 Monotype[]parameters
    
public  TypeConstructortc
    

Constructor Summary
public  MonotypeConstructor(TypeConstructor tc, Monotype[] parameters)
     Constructs a monotype by application of the type constructor to the type parameters.

Method Summary
public static  MonotypeConstructorapply(TypeConstructor tc, Monotype parameter)
     Constructs a monotype by application of the type constructor to one type parameter.
 Monotypecanonify()
    
public  booleanequals(Object o)
    
public  intgetId()
    
public  KindgetKind()
    
public  TypeConstructorgetTC()
    
public  Monotype[]getTP()
    
public  TypeConstructorhead()
     Return the head type constructor if this monotype is of a known variance, or null.
public  booleanisRigid()
    
public  voidsetId(int value)
    
public  voidsetKind(Kind value)
    
 Monotypesubstitute(Map map)
     Perform type symbol substitution inside the monotype.
 voidtag(int variance)
    
public  StringtoString()
    
public  StringtoString(boolean isNull, String suffix)
    

Field Detail
parameters
Monotype[] parameters(Code)



tc
public TypeConstructor tc(Code)




Constructor Detail
MonotypeConstructor
public MonotypeConstructor(TypeConstructor tc, Monotype[] parameters) throws BadSizeEx(Code)
Constructs a monotype by application of the type constructor to the type parameters.
Parameters:
  tc - the type constructor
Parameters:
  parameters - the type parameters




Method Detail
apply
public static MonotypeConstructor apply(TypeConstructor tc, Monotype parameter) throws BadSizeEx(Code)
Constructs a monotype by application of the type constructor to one type parameter.
Parameters:
  tc - the type constructor
Parameters:
  parameter - the type parameter



canonify
Monotype canonify()(Code)



equals
public boolean equals(Object o)(Code)



getId
public int getId()(Code)
low-level interface



getKind
public Kind getKind()(Code)



getTC
public TypeConstructor getTC()(Code)



getTP
public Monotype[] getTP()(Code)



head
public TypeConstructor head()(Code)
Return the head type constructor if this monotype is of a known variance, or null.



isRigid
public boolean isRigid()(Code)
Returns true if this monotype is only made of top-level, rigid type constructors



setId
public void setId(int value)(Code)



setKind
public void setKind(Kind value)(Code)



substitute
Monotype substitute(Map map)(Code)
Perform type symbol substitution inside the monotype. Does not need to create a new object, but must not imperatively modify the monotype.
Parameters:
  map - a map from TypeSymbols to TypeSymbols a monotype with substitution performed



tag
void tag(int variance)(Code)
Simplification



toString
public String toString()(Code)



toString
public String toString(boolean isNull, String suffix)(Code)



Fields inherited from mlsub.typing.Monotype
final static Monotype[] zeroMonotypes(Code)(Java Doc)

Methods inherited from mlsub.typing.Monotype
abstract Monotype canonify()(Code)(Java Doc)
final static Monotype[] canonify(Monotype[] monotypes)(Code)(Java Doc)
public Monotype[] domain()(Code)(Java Doc)
public Monotype equivalent()(Code)(Java Doc)
public TypeConstructor head()(Code)(Java Doc)
final public boolean isConcrete()(Code)(Java Doc)
public boolean isExistential()(Code)(Java Doc)
public boolean isRigid()(Code)(Java Doc)
final public static boolean isRigid(Monotype[] ms)(Code)(Java Doc)
public boolean isUnknown()(Code)(Java Doc)
public void setUnknown(boolean leq, boolean geq) throws mlsub.typing.lowlevel.Unsatisfiable(Code)(Java Doc)
abstract Monotype substitute(Map map)(Code)(Java Doc)
final static Monotype[] substitute(java.util.Map map, Monotype[] ms)(Code)(Java Doc)
abstract void tag(int variance)(Code)(Java Doc)
final static void tag(Monotype[] monotypes, int variance)(Code)(Java Doc)
public String toString(boolean isNull, String suffix)(Code)(Java Doc)

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)

www.java2java.com | Contact Us
Copyright 2009 - 12 Demo Source and Support. All rights reserved.
All other trademarks are property of their respective owners.