public void DefineType(string name, TigerType tigerType)
{
if (!TypeNameAvailable(name))
{
throw new Exception("Type name not available");
}
TypeDictionary.Add(name, tigerType);
}
public void DefineIncompleteType(string name, TigerType tigerType = null)
{
if (!TypeNameAvailable(name))
{
throw new Exception("Type name not available");
}
TypeDictionary.Add(name, tigerType ?? TigerType.Nil);
}
public VariableInfo(string name, string staticName, TigerType tigerType, TigerScope containingScope, bool assignable)
{
Name = name;
StaticName = staticName;
TigerType = tigerType;
Assignable = assignable;
ContainingScope = containingScope;
}
public FunctionInfo(string name, string staticName, TigerType returnType, TigerType[] tigerTypes, TigerScope containingScope, MethodBuilder methodBuilder)
{
Name = name;
StaticName = staticName;
ReturnType = returnType;
Parameters = tigerTypes;
ContainingScope = containingScope;
MethodBuilder = methodBuilder;
}
public virtual bool Assignable(TigerType tigerType)
{
if (tigerType is SimpleType)
{
tigerType = ((SimpleType)tigerType).ActualType;
}
return(tigerType == this || IsNullable && tigerType is NilType);
}
public bool ValidReturnType(TigerType tigerType)
{
if (IsRoot)
{
return(false);
}
return(TigerType.AreOfSameType(tigerType, TigerType.Void) ||
TigerType.AreOfSameType(tigerType, TigerType.Nil) ||
(Parent.ExistsType(tigerType.Name) && !DefinesType(tigerType.Name)));
}
public VariableInfo DefineVariable(string name, TigerType tigerType, TigerScope containingScope, bool assignable = true)
{
if (FunctionVariableDictionary.ContainsKey(name))
{
throw new Exception("A variable or function with this name already exists");
}
VariableInfo variableInfo = new VariableInfo(name, Name + "_" + name, tigerType, containingScope, assignable);
FunctionVariableDictionary.Add(name, variableInfo);
return(variableInfo);
}
public FunctionInfo DefineFunction(string name, TigerType returnType, TigerType[] parameters, TigerScope containingScope, MethodBuilder methodBuilder = null)
{
if (!FunctionNameAvailable(name))
{
throw new Exception("A variable or function with this name already exists");
}
FunctionInfo functionInfo = new FunctionInfo(name, Name + "_" + name, returnType, parameters, containingScope, methodBuilder);
FunctionVariableDictionary.Add(name, functionInfo);
return(functionInfo);
}
public void CompleteType(string name, TigerType tigerType)
{
TypeDictionary[name] = tigerType;
}
public static bool AreOfSameType(TigerType t1, TigerType t2)
{
return(t1 != null && t2 != null && t1 == t2);
}
public static bool AreCompatible(TigerType t1, TigerType t2)
{
return(t1 != null && t2 != null && (t1.Assignable(t2) || t2.Assignable(t1)));
}
public RecordField(string name, TigerType tigerType)
{
Name = name;
TigerType = tigerType;
}
public override bool Assignable(TigerType tigerType)
{
return(ActualType.Assignable(tigerType));
}
public SimpleType(string name, TigerType actualType) : base(name)
{
ActualType = actualType;
}
public override bool Assignable(TigerType tigerType)
{
return(Name == tigerType.Name || tigerType is NilType);
}
public ArrayType(string name, TigerType contentType) : base(name)
{
ContentType = contentType;
}