Overview  Package   Class  Use  Deprecated  Index
Home >> All >> bossa >> [ syntax overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

bossa.syntax
Class TypeIdent  

java.lang.Object
  bossa.syntax.Monotype
      bossa.syntax.TypeIdent

All Implemented Interfaces:

bossa.util.Located

---

public final class TypeIdent

extends Monotype

implements bossa.util.Located

A syntactic type identifier. After scoping, it will either reveal to be a TypeConstructor or a MonotypeVar.

Version:

$Date: 2003/12/09 15:21:05 $

---

Nested Class Summary

 

Nested classes inherited from class bossa.syntax.Monotype

 

Field Summary
LocatedString	name

 

Fields inherited from class bossa.syntax.Monotype

absent, array0, maybe, none, nullness, sure

 

Constructor Summary

TypeIdent(LocatedString name)

 

Method Summary
TypeIdent	cloneTypeIdent()
(package private)  boolean	containsAlike()
LocatedString	getName()
boolean	hasName(LocatedString name)
boolean	isVoid()
bossa.util.Location	location()
(package private)  mlsub.typing.Monotype	rawResolve(TypeMap scope)
mlsub.typing.TypeSymbol	resolvePreferablyToItf(TypeMap scope)
mlsub.typing.Interface	resolveToItf(TypeMap scope)
static mlsub.typing.Interface[]	resolveToItf(TypeMap scope, java.util.List idents)
mlsub.typing.TypeConstructor	resolveToTC(TypeMap scope)
mlsub.typing.TypeConstructor	resolveToTCForPattern(TypeMap scope)
mlsub.typing.TypeSymbol	resolveToTypeSymbol(TypeMap scope)
(package private)  Monotype	substitute(java.util.Map map)
java.lang.String	toString()           Printing

 

Methods inherited from class bossa.syntax.Monotype

containsAlike, containsAlike, create, createVar, fresh, freshs, maybe, nullnessString, rawResolve, resolve, resolve, substitute, substitute, sure, toArray, toStringBase, toStringExtern

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Field Detail

name

public LocatedString name

Constructor Detail

TypeIdent

public TypeIdent(LocatedString name)

Method Detail

cloneTypeIdent

public TypeIdent cloneTypeIdent()

---

containsAlike

boolean containsAlike()

Specified by:

containsAlike in class Monotype

---

isVoid

public boolean isVoid()

Overrides:

isVoid in class Monotype

---

substitute

Monotype substitute(java.util.Map map)

Specified by:

substitute in class Monotype

---

resolveToTypeSymbol

public final mlsub.typing.TypeSymbol resolveToTypeSymbol(TypeMap scope)

---

rawResolve

mlsub.typing.Monotype rawResolve(TypeMap scope)

Specified by:

rawResolve in class Monotype

---

resolveToTC

public mlsub.typing.TypeConstructor resolveToTC(TypeMap scope)

---

resolveToTCForPattern

public mlsub.typing.TypeConstructor resolveToTCForPattern(TypeMap scope)

---

resolvePreferablyToItf

public mlsub.typing.TypeSymbol resolvePreferablyToItf(TypeMap scope)

---

resolveToItf

public mlsub.typing.Interface resolveToItf(TypeMap scope)

---

resolveToItf

public static mlsub.typing.Interface[] resolveToItf(TypeMap scope,
                                                    java.util.List idents)

---

toString

public java.lang.String toString()

Printing

---

getName

public LocatedString getName()

---

hasName

public boolean hasName(LocatedString name)

---

location

public bossa.util.Location location()

Specified by:

location in interface bossa.util.Located

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> bossa >> [ syntax overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---