19 using System.Collections.Generic;
23 using ErrorManagement;
25 using TypeSystem.Operations;
27 namespace TypeSystem {
43 private static IntType instance;
73 this.typeExpression =
"int";
74 this.fullName =
"int";
85 #region Assignment() ANULADA
107 #region Arithmetic() ANULADA
144 #region Relational() anulada
165 #region Dot() anulada
194 #region AsClassType()
207 #region PromotionLevel() ANULADA
249 IntType it = te as IntType;
254 return te.Unify(
this, unification, previouslyUnified);
256 return ((FieldType)te).FieldTypeExpression.Unify(
this, unification, previouslyUnified);
276 #region IsValueType()
override ClassType AsClassType()
Check if the type can make an assignment operation.
override string ILType()
Gets the string type to use in IL code.
This class represent the entry wnen sending a message to an operation object derived from TypeExpress...
Abstract class that represents all different types.
Represent a integer type.
override bool IsValueType()
True if type expression is a ValueType. Otherwise, false.
static IntType Instance
Gets the unique instance of IntType
override object AcceptOperation(TypeSystemOperation op, object arg)
override bool Unify(TypeExpression te, SortOfUnification unification, IList< Pair< TypeExpression, TypeExpression >> previouslyUnified)
Returns a value that indicates a promotion level.