private static Creators pseudoMerge(ReferenceBTValue val1, ReferenceBTValue val2, BTValuePairs pairs)
{
val1 = val1.findLeaf();
val2 = val2.findLeaf();
bool flag = pairs[val1, val2];
if (!flag && val1 != val2 && val1.btType == BTType.Static && val2.btType == BTType.Static)
{
Creators crtrs = new Creators();
int count = 0;
for (int i = 0; i < val1.types.Count; i++)
{
if (val2.types.Contains(val1.types[i]))
{
count++;
}
}
if (val1.types.Count > count)
{
crtrs.AddCreators(val2.crtrs);
}
if (val2.types.Count > count)
{
crtrs.AddCreators(val1.crtrs);
}
foreach (object key in val2.flds.Keys)
{
ReferenceBTValue fld1 = val1.flds[key] as ReferenceBTValue;
ReferenceBTValue fld2 = val2.flds[key] as ReferenceBTValue;
if (fld1 != null)
{
crtrs.AddCreators(ReferenceBTValue.pseudoMerge(fld1, fld2, pairs));
}
}
return(crtrs);
}
else if (flag || val1.btType == val2.btType)
{
return(new Creators());
}
else if (val1.btType == BTType.Static)
{
return(val1.crtrs);
}
else if (val2.btType == BTType.Static)
{
return(val2.crtrs);
}
else
{
throw new InternalException();
}
}
internal static Creators MergeMethods(AnnotatedMethod method1, AnnotatedMethod method2)
{
Creators crtrs = new Creators();
for (int i = 0; i < method1.ParamVals.Count; i++)
{
crtrs.AddCreators(BTValue.Merge(method1.ParamVals[i].Val as ReferenceBTValue, method2.ParamVals[i].Val as ReferenceBTValue));
}
crtrs.AddCreators(BTValue.Merge(method1.ReturnValue, method2.ReturnValue));
return(crtrs);
}
internal Creators Clone()
{
Creators crtrs = new Creators();
crtrs.AddCreators(this);
return(crtrs);
}
internal Creators LiftAllFields()
{
Creators crtrs = new Creators();
foreach (Type type in this.types)
{
if (type.IsArray)
{
crtrs.AddCreators(this.ArrayElements.Lift());
}
else
{
foreach (FieldInfo fldInfo in ReflectionUtils.GetAllFields(type))
{
crtrs.AddCreators(this[fldInfo].Lift());
}
}
}
return(crtrs);
}
private static Creators pseudoMerge(ReferenceBTValue val1, ReferenceBTValue val2, BTValuePairs pairs)
{
val1 = val1.findLeaf();
val2 = val2.findLeaf();
bool flag = pairs[val1, val2];
if (! flag && val1 != val2 && val1.btType == BTType.Static && val2.btType == BTType.Static)
{
Creators crtrs = new Creators();
int count = 0;
for (int i = 0; i < val1.types.Count; i++)
if (val2.types.Contains(val1.types[i]))
count++;
if (val1.types.Count > count)
crtrs.AddCreators(val2.crtrs);
if (val2.types.Count > count)
crtrs.AddCreators(val1.crtrs);
foreach (object key in val2.flds.Keys)
{
ReferenceBTValue fld1 = val1.flds[key] as ReferenceBTValue;
ReferenceBTValue fld2 = val2.flds[key] as ReferenceBTValue;
if (fld1 != null)
crtrs.AddCreators(ReferenceBTValue.pseudoMerge(fld1, fld2, pairs));
}
return crtrs;
}
else if (flag || val1.btType == val2.btType)
return new Creators();
else if (val1.btType == BTType.Static)
return val1.crtrs;
else if (val2.btType == BTType.Static)
return val2.crtrs;
else
throw new InternalException();
}
internal Creators LiftAllFields()
{
Creators crtrs = new Creators();
foreach (Type type in this.types)
if (type.IsArray)
crtrs.AddCreators(this.ArrayElements.Lift());
else
foreach (FieldInfo fldInfo in ReflectionUtils.GetAllFields(type))
crtrs.AddCreators(this[fldInfo].Lift());
return crtrs;
}
internal static Creators Merge(ReferenceBTValue val1, ReferenceBTValue val2)
{
val1 = val1.findLeaf();
val2 = val2.findLeaf();
if (val1 != val2 && val1.btType == BTType.Static && val2.btType == BTType.Static)
{
Creators crtrs = new Creators();
int count = 0;
for (int i = 0; i < val1.types.Count; i++)
if (val2.types.Contains(val1.types[i]))
count++;
if (val1.types.Count > count)
crtrs.AddCreators(val2.crtrs);
if (val2.types.Count > count)
crtrs.AddCreators(val1.crtrs);
val2.setNext(val1);
foreach (object key in val2.flds.Keys)
{
ReferenceBTValue fld1 = val1.flds[key] as ReferenceBTValue;
ReferenceBTValue fld2 = val2.flds[key] as ReferenceBTValue;
if (fld1 == null)
val1.flds[key] = fld2;
else
crtrs.AddCreators(ReferenceBTValue.Merge(fld1, fld2));
}
return crtrs;
}
else if (val1.btType == val2.btType)
return new Creators();
else if (val1.btType == BTType.Static)
{
val1.setNext(val2);
return val1.crtrs;
}
else if (val2.btType == BTType.Static)
{
val2.setNext(val1);
return val2.crtrs;
}
else
throw new InternalException();
}
internal Creators Clone()
{
Creators crtrs = new Creators();
crtrs.AddCreators(this);
return crtrs;
}
internal static Creators PseudoMergeMethods(AnnotatedMethod method1, AnnotatedMethod method2)
{
Creators crtrs = new Creators();
for (int i = 0; i < method1.ParamVals.Count; i++)
crtrs.AddCreators(BTValue.PseudoMerge(method1.ParamVals[i].Val as ReferenceBTValue, method2.ParamVals[i].Val as ReferenceBTValue));
crtrs.AddCreators(BTValue.PseudoMerge(method1.ReturnValue, method2.ReturnValue));
return crtrs;
}
private BTType checkAnnotatedMethodForInvoke(AnnotatedMethod aMethod)
{
MethodBase sMethod = aMethod.SourceMethod;
if (sMethod.DeclaringType.ToString() == "System.Object" &&
sMethod.Name == ".ctor" &&
sMethod.GetParameters().Length == 0)
{
BTValue obj = aMethod.ParamVals[0].Val as BTValue;
return obj.BTType;
}
else if (this.holder.WhiteList.Contains(sMethod))
{
ObjectHashtable hash = new ObjectHashtable();
for (int i = 0; i < aMethod.ParamVals.Count; i++)
getAllFieldBTValue(aMethod.ParamVals[i].Val as ReferenceBTValue, 5, hash);
if (aMethod.ReturnValue != null)
getAllFieldBTValue(aMethod.ReturnValue, 5, hash);
foreach (ReferenceBTValue val in hash.Keys)
if (val.BTType == BTType.Dynamic)
goto P;
return BTType.Static;
}
P:
Creators crtrs = new Creators();
for (int i = 0; i < aMethod.ParamVals.Count; i++)
crtrs.AddCreators((aMethod.ParamVals[i].Val as ReferenceBTValue).Lift());
ReferenceBTValue ret = aMethod.ReturnValue;
if (ret != null)
crtrs.AddCreators(ret.Lift());
if (! crtrs.IsEmpty)
throw new LiftException(crtrs);
return BTType.Dynamic;
}
private AnnotatedMethod checkAnnotatedMethodForCall(AnnotatedMethod method)
{
if (! method.SourceMethod.IsDefined(typeof(InlineAttribute), false) || (method.SourceMethod.IsConstructor && (method.ParamVals[0].Val as ReferenceBTValue).BTType == BTType.Dynamic))
{
Creators crtrs = new Creators();
for (int i = 0; i < method.ParamVals.Count; i++)
{
ReferenceBTValue val = method.ParamVals[i].Val as ReferenceBTValue;
if (val.BTType == BTType.Static)
crtrs.AddCreators(val.LiftAllFields());
}
ReferenceBTValue ret = method.ReturnValue;
if (ret != null)
crtrs.AddCreators(ret.Lift());
if (! crtrs.IsEmpty)
throw new LiftException(crtrs);
}
return this.holder.AnnotateMethod(method);
}
private static Creators pseudoMergeStates(State state1, State state2)
{
Creators crtrs = new Creators();
for (int i = 0; i < state1.Stack.Count; i++)
crtrs.AddCreators(BTValue.PseudoMerge(state1.Stack[i] as BTValue, state2.Stack[i] as BTValue));
foreach (Variable v in state1.Pool.GetVariables())
crtrs.AddCreators(BTValue.PseudoMerge(state1.Pool[v].Val as BTValue, state2.Pool[v].Val as BTValue));
return crtrs;
}
internal static Creators Merge(ReferenceBTValue val1, ReferenceBTValue val2)
{
val1 = val1.findLeaf();
val2 = val2.findLeaf();
if (val1 != val2 && val1.btType == BTType.Static && val2.btType == BTType.Static)
{
Creators crtrs = new Creators();
int count = 0;
for (int i = 0; i < val1.types.Count; i++)
{
if (val2.types.Contains(val1.types[i]))
{
count++;
}
}
if (val1.types.Count > count)
{
crtrs.AddCreators(val2.crtrs);
}
if (val2.types.Count > count)
{
crtrs.AddCreators(val1.crtrs);
}
val2.setNext(val1);
foreach (object key in val2.flds.Keys)
{
ReferenceBTValue fld1 = val1.flds[key] as ReferenceBTValue;
ReferenceBTValue fld2 = val2.flds[key] as ReferenceBTValue;
if (fld1 == null)
{
val1.flds[key] = fld2;
}
else
{
crtrs.AddCreators(ReferenceBTValue.Merge(fld1, fld2));
}
}
return(crtrs);
}
else if (val1.btType == val2.btType)
{
return(new Creators());
}
else if (val1.btType == BTType.Static)
{
val1.setNext(val2);
return(val1.crtrs);
}
else if (val2.btType == BTType.Static)
{
val2.setNext(val1);
return(val2.crtrs);
}
else
{
throw new InternalException();
}
}