public static AbstractType EvaluateType(IExpression x, ResolutionContext ctxt)
{
var ev = new Evaluation(ctxt);
ISemantic t = null;
if (!Debugger.IsAttached)
{
try { t = ev.E(x); }
catch { }
}
else
{
t = ev.E(x);
}
return(AbstractType.Get(t));
}
/// <summary>
/// Since most expressions should return a single type only, it's not needed to use this function unless you might
/// want to pay attention on (illegal) multiple overloads.
/// </summary>
public static AbstractType[] EvaluateTypes(IExpression x, ResolutionContext ctxt)
{
var ev = new Evaluation(ctxt);
ISemantic t = null;
if (!Debugger.IsAttached)
{
try { t = ev.E(x); }
catch { }
}
else
{
t = ev.E(x);
}
if (t is InternalOverloadValue)
{
return(((InternalOverloadValue)t).Overloads);
}
return(t == null ? null : new[] { AbstractType.Get(t) });
}
public static ISymbolValue EvaluateValue(IExpression x, AbstractSymbolValueProvider vp)
{
if (vp == null)
{
vp = new StandardValueProvider(null);
}
var ev = new Evaluation(vp);
var v = ev.E(x) as ISymbolValue;
if (v == null && ev.Errors.Count != 0)
{
return(new ErrorValue(ev.Errors.ToArray()));
}
return(v);
}
public static ISymbolValue EvaluateValue(IExpression x, AbstractSymbolValueProvider vp)
{
if (vp == null)
vp = new StandardValueProvider(null);
var ev = new Evaluation(vp);
var v = ev.E(x) as ISymbolValue;
if(v == null && ev.Errors.Count != 0)
return new ErrorValue(ev.Errors.ToArray());
return v;
}
public static AbstractType EvaluateType(IExpression x, ResolutionContext ctxt)
{
var ev = new Evaluation(ctxt);
ISemantic t = null;
if(!Debugger.IsAttached)
try { t = ev.E(x); }
catch { }
else
t = ev.E(x);
return AbstractType.Get(t);
}
/// <summary>
/// Since most expressions should return a single type only, it's not needed to use this function unless you might
/// want to pay attention on (illegal) multiple overloads.
/// </summary>
public static AbstractType[] EvaluateTypes(IExpression x, ResolutionContext ctxt)
{
var ev = new Evaluation(ctxt);
ISemantic t = null;
if(!Debugger.IsAttached)
try { t = ev.E(x); }
catch { }
else
t = ev.E(x);
if (t is InternalOverloadValue)
return ((InternalOverloadValue)t).Overloads;
return t == null ? null : new[]{ AbstractType.Get(t) };
}