19 using System.Collections.Generic;
23 using ErrorManagement;
25 using TypeSystem.Operations;
27 namespace TypeSystem {
58 get {
return instance; }
69 this.typeExpression =
"bool";
70 this.fullName =
"bool";
87 #region Assignment() ANULADA
112 #region Relational() ANULADA
141 #region Arithmetic ANULADA
164 #region Dot() ANULADA
193 #region AsClassType()
206 #region PromotionLevel() ANULADA
246 BoolType bt = te as BoolType;
251 return te.Unify(
this, unification, previouslyUnified);
256 #region IsValueType()
override object AcceptOperation(TypeSystemOperation op, object arg)
This class represent the entry wnen sending a message to an operation object derived from TypeExpress...
override bool Unify(TypeExpression te, SortOfUnification unification, IList< Pair< TypeExpression, TypeExpression >> previouslyUnified)
This method unifies two type expressions (this and te)
Abstract class that represents all different types.
override bool IsValueType()
True if type expression is a ValueType. Otherwise, false.
override ClassType AsClassType()
Represent a type as a class. It is mainly used to obtain the BCL representation of types (string=Stri...
static BoolType Instance
Gets the unique instance of BoolType