public JavaDebugProperty(IDebugProperty2 parent, EvaluatedExpression evaluatedExpression)
{
Contract.Requires <ArgumentNullException>(evaluatedExpression != null, "evaluatedExpression");
_parent = parent;
_evaluatedExpression = evaluatedExpression;
}
private EvaluatedExpression GetArrayElement(EvaluatedExpression array, EvaluatedExpression index)
{
Contract.Requires <ArgumentNullException>(array != null, "array");
Contract.Requires <ArgumentNullException>(index != null, "index");
Contract.Ensures(Contract.Result <EvaluatedExpression>() != null);
IArrayReference arrayReference = array.Value as IArrayReference;
if (arrayReference == null)
{
throw new InvalidOperationException();
}
long indexValue;
if (TryGetIntegralValue(index.Value, out indexValue))
{
string name = string.Format("[{0}]", indexValue);
string fullName = string.Format("({0})[{1}]", array.FullName, index.FullName);
ILocalVariable localVariable = array.LocalVariable;
IObjectReference referencer = array.Value as IObjectReference;
IField field = array.Field;
IMethod method = null;
IValue value = arrayReference.GetValue((int)indexValue);
IType valueType = ((IArrayType)arrayReference.GetReferenceType()).GetComponentType();
bool strongReference = false;
return(new EvaluatedExpression(name, fullName, localVariable, referencer, field, method, (int)indexValue, value, valueType, strongReference, array.HasSideEffects || index.HasSideEffects));
}
throw new InvalidOperationException();
}
private EvaluatedExpression EvaluateInstanceOf(EvaluatedExpression expression, IType type)
{
Contract.Requires <ArgumentNullException>(expression != null, "expression");
Contract.Requires <ArgumentNullException>(type != null, "type");
Contract.Ensures(Contract.Result <EvaluatedExpression>() != null);
throw new NotImplementedException();
}
private bool TryGetValueInScope(string name, out EvaluatedExpression result)
{
Contract.Requires <ArgumentNullException>(name != null, "name");
Contract.Requires <ArgumentException>(!string.IsNullOrEmpty(name));
result = null;
IMethod method = _stackFrame.GetLocation().GetMethod();
// check the stack frame
if (_stackFrame.GetHasVariableInfo())
{
ILocalVariable variable = _stackFrame.GetVisibleVariableByName(name);
if (variable != null)
{
result = new EvaluatedExpression(name, name, variable, _stackFrame.GetValue(variable), false);
return(true);
}
ReadOnlyCollection <ILocalVariable> variables = method.GetVariablesByName(name);
if (variables.Count > 0)
{
return(false);
}
//throw new InvalidOperationException("Evaluation failed because the variable is not visible in the current scope.");
}
// check the enclosing object for a visible field
IReferenceType declaringType = method.GetDeclaringType();
IField field = declaringType.GetFieldByName(name);
if (field != null)
{
if (field.GetIsStatic())
{
result = new EvaluatedExpression(name, name, null, field, declaringType.GetValue(field), false);
return(true);
}
if (method.GetIsStatic())
{
return(false);
}
//throw new InvalidOperationException("The instance field cannot be accessed from a static method.");
result = new EvaluatedExpression(name, name, _stackFrame.GetThisObject(), field, _stackFrame.GetThisObject().GetValue(field), false);
return(true);
}
// check the outer object?
return(false);
//throw new NotImplementedException();
}
public JavaDebugProperty(IDebugProperty2 parent, string name, string fullName, IType propertyType, IValue value, bool hasSideEffects, IField field = null, IMethod method = null)
{
Contract.Requires <ArgumentNullException>(name != null, "name");
Contract.Requires <ArgumentNullException>(fullName != null, "fullName");
Contract.Requires <ArgumentNullException>(propertyType != null, "propertyType");
IObjectReference referencer = null;
IType valueType = propertyType;
bool strongReference = false;
_evaluatedExpression = new EvaluatedExpression(name, fullName, default(ILocalVariable), referencer, field, method, default(int?), value, valueType, strongReference, hasSideEffects);
}
private IReferenceType GetReflectedType(EvaluatedExpression typeExpression)
{
Contract.Requires <ArgumentNullException>(typeExpression != null, "typeExpression");
IClassObjectReference classObject = typeExpression.Value as IClassObjectReference;
if (classObject == null)
{
throw new ArgumentException();
}
return(classObject.GetReflectedType());
}
private EvaluatedExpression GetField(EvaluatedExpression value, string name)
{
Contract.Requires <ArgumentNullException>(value != null, "value");
Contract.Requires <ArgumentNullException>(name != null, "name");
Contract.Requires <ArgumentException>(!string.IsNullOrEmpty(name));
IArrayReference arrayValue = value.Value as IArrayReference;
if (arrayValue != null)
{
if (name == "length")
{
string fullName = string.Format("({0}).{1}", value.FullName, name);
return(new EvaluatedExpression(name, fullName, _stackFrame.GetVirtualMachine().GetMirrorOf(arrayValue.GetLength()), value.HasSideEffects));
}
else
{
throw new InvalidOperationException();
}
}
IReferenceType declaringType = value.ValueType as IReferenceType;
if (declaringType == null)
{
throw new InvalidOperationException();
}
IField field = declaringType.GetFieldByName(name);
if (field != null)
{
string fullName = string.Format("({0}).{1}", value.FullName, name);
if (field.GetIsStatic())
{
return(new EvaluatedExpression(name, fullName, null, field, declaringType.GetValue(field), value.HasSideEffects));
}
else
{
IObjectReference objectReference = value.Value as IObjectReference;
if (objectReference == null)
{
throw new InvalidOperationException("Evaluation failed (todo: distinguish between null pointer and instance field referenced as a static field).");
}
return(new EvaluatedExpression(name, fullName, objectReference, field, objectReference.GetValue(field), value.HasSideEffects));
}
}
throw new NotImplementedException();
}
private EvaluatedExpression GetArrayClass(EvaluatedExpression elementType)
{
Contract.Requires <ArgumentNullException>(elementType != null, "elementType");
Contract.Ensures(Contract.Result <EvaluatedExpression>() != null);
IClassObjectReference classObject = elementType.Value as IClassObjectReference;
if (classObject == null)
{
throw new ArgumentException();
}
IReferenceType elementReflectedType = classObject.GetReflectedType();
return(FindClass("[" + elementReflectedType.GetSignature()));
}
public EvaluatedExpression EvaluateMethod(ICollection <CommonTree> parts, IList <EvaluatedExpression> arguments)
{
Contract.Requires <ArgumentNullException>(parts != null, "parts");
Contract.Requires <ArgumentNullException>(arguments != null, "arguments");
Contract.Requires <ArgumentException>(parts.Count > 0);
Contract.Ensures(Contract.Result <EvaluatedExpression>() != null);
Contract.Ensures(Contract.Result <EvaluatedExpression>().Method != null);
List <CommonTree> partsList = new List <CommonTree>(parts);
CommonTree methodName = partsList[partsList.Count - 1];
partsList.RemoveAt(partsList.Count - 1);
EvaluatedExpression instance = EvaluateTypeOrObject(partsList);
return(EvaluateMethod(instance, methodName, arguments));
}
private EvaluatedExpression EvaluateTernary(EvaluatedExpression condition, EvaluatedExpression valueIfTrue, EvaluatedExpression valueIfFalse)
{
Contract.Requires <ArgumentNullException>(condition != null, "condition");
Contract.Requires <ArgumentNullException>(valueIfTrue != null, "valueIfTrue");
Contract.Requires <ArgumentNullException>(valueIfFalse != null, "valueIfFalse");
Contract.Ensures(Contract.Result <EvaluatedExpression>() != null);
IBooleanValue booleanValue = condition.Value as IBooleanValue;
if (booleanValue == null)
{
throw new InvalidOperationException();
}
// can't return the original values or it could accidentally become an lvalue
throw new NotImplementedException();
//return booleanValue.GetValue() ? valueIfTrue : valueIfFalse;
}
private JavaDebugProperty(JavaDebugProperty parent, string name)
{
Contract.Requires <ArgumentNullException>(parent != null, "parent");
Contract.Requires <ArgumentNullException>(name != null, "name");
Contract.Requires <ArgumentException>(!string.IsNullOrEmpty(name));
_parent = parent;
_evaluatedExpression = new EvaluatedExpression(
name,
parent._evaluatedExpression.FullName,
parent._evaluatedExpression.LocalVariable,
parent._evaluatedExpression.Referencer,
parent._evaluatedExpression.Field,
parent._evaluatedExpression.Method,
parent._evaluatedExpression.Index,
parent._evaluatedExpression.Value,
parent._evaluatedExpression.ValueType,
parent._evaluatedExpression.StrongReference,
parent._evaluatedExpression.HasSideEffects);
}
private IDebugProperty2 EvaluateImpl(enum_EVALFLAGS flags)
{
ITreeNodeStream input = new CommonTreeNodeStream(_expression);
DebugExpressionEvaluatorWalker walker = new DebugExpressionEvaluatorWalker(input, _context.StackFrame.StackFrame);
EvaluatedExpression evaluatedExpression = walker.standaloneExpression();
// make sure the Name and FullName of the evaluated expression match what the user typed
evaluatedExpression = new EvaluatedExpression(
_expressionText,
_expressionText,
evaluatedExpression.LocalVariable,
evaluatedExpression.Referencer,
evaluatedExpression.Field,
evaluatedExpression.Method,
evaluatedExpression.Index,
evaluatedExpression.Value,
evaluatedExpression.ValueType,
evaluatedExpression.StrongReference,
evaluatedExpression.HasSideEffects);
return(new JavaDebugProperty(null, evaluatedExpression));
}
public EvaluatedExpression EvaluateCall(EvaluatedExpression obj, List <EvaluatedExpression> arguments)
{
Contract.Requires <ArgumentNullException>(obj != null, "obj");
Contract.Requires <ArgumentNullException>(arguments != null, "arguments");
Contract.Ensures(Contract.Result <EvaluatedExpression>() != null);
IMethod method = obj.Method;
if (method == null)
{
throw new ArgumentException();
}
IValue[] args = arguments.Select(i => i.Value).ToArray();
IStrongValueHandle <IValue> result;
if (method.GetIsStatic())
{
IClassType declaringType = (IClassType)method.GetDeclaringType();
result = declaringType.InvokeMethod(default(IThreadReference), method, InvokeOptions.None, args);
}
else
{
IObjectReference instance = obj.Referencer;
if (instance == null)
{
throw new InvalidOperationException("Cannot call an instance method on a null object.");
}
result = instance.InvokeMethod(default(IThreadReference), method, InvokeOptions.None, args);
}
string fullName = string.Format("{0}({1})", obj.FullName, string.Join(", ", arguments.Select(i => i.FullName)));
bool hasSideEffects = obj.HasSideEffects || arguments.Any(i => i.HasSideEffects);
return(new EvaluatedExpression(fullName, fullName, method.GetReturnType(), result, hasSideEffects));
}
public EvaluatedExpression EvaluateTypeOrObject(IList <CommonTree> parts)
{
Contract.Requires <ArgumentNullException>(parts != null, "parts");
Contract.Ensures(Contract.Result <EvaluatedExpression>() != null);
if (parts.Count == 0)
{
if (_stackFrame.GetLocation().GetMethod().GetIsStatic())
{
IType declaringType = _stackFrame.GetLocation().GetDeclaringType();
string fullName = declaringType.GetName();
return(new EvaluatedExpression(fullName, fullName, declaringType, default(IValue), false));
}
else
{
return(GetThisObject());
}
}
int baseParts;
EvaluatedExpression context = null;
if (TryGetValueInScope(parts[0].Text, out context))
{
baseParts = 1;
}
else
{
IList <string> visibleNamespaces = new[] { string.Empty, "java.lang." };
IReferenceType type = null;
for (baseParts = 1; baseParts <= parts.Count; baseParts++)
{
List <IReferenceType> matchingTypes = new List <IReferenceType>();
foreach (var ns in visibleNamespaces)
{
string typeName = ns + string.Join(".", parts.Take(baseParts));
matchingTypes.AddRange(_stackFrame.GetVirtualMachine().GetClassesByName(typeName));
}
if (matchingTypes.Count == 1)
{
type = matchingTypes[0];
break;
}
if (matchingTypes.Count > 1)
{
throw new InvalidOperationException("Ambiguous type name.");
}
}
context = new EvaluatedExpression(type.GetName(), type.GetName(), type, default(IValue), false);
}
// still have to evaluate fields
for (int i = baseParts; i < parts.Count; i++)
{
context = GetField(context, parts[i].Text);
}
return(context);
}
private EvaluatedExpression EvaluateUnary(CommonTree op, EvaluatedExpression expression)
{
Contract.Requires <ArgumentNullException>(op != null, "op");
Contract.Requires <ArgumentNullException>(expression != null, "expression");
Contract.Ensures(Contract.Result <EvaluatedExpression>() != null);
string operatorText;
IValue newValue;
switch (op.Type)
{
case POSITIVE:
{
operatorText = "+";
long result;
if (TryGetIntegralValue(expression.Value, out result))
{
if (expression.Value is ILongValue)
{
newValue = _stackFrame.GetVirtualMachine().GetMirrorOf(result);
}
else
{
newValue = _stackFrame.GetVirtualMachine().GetMirrorOf((int)result);
}
break;
}
IFloatValue floatValue = expression.Value as IFloatValue;
if (floatValue != null)
{
newValue = _stackFrame.GetVirtualMachine().GetMirrorOf(floatValue.GetValue());
break;
}
IDoubleValue doubleValue = expression.Value as IDoubleValue;
if (doubleValue != null)
{
newValue = _stackFrame.GetVirtualMachine().GetMirrorOf(doubleValue.GetValue());
break;
}
throw new NotImplementedException();
}
case NEGATE:
{
operatorText = "-";
long result;
if (TryGetIntegralValue(expression.Value, out result))
{
if (expression.Value is ILongValue)
{
newValue = _stackFrame.GetVirtualMachine().GetMirrorOf(-result);
}
else
{
newValue = _stackFrame.GetVirtualMachine().GetMirrorOf(-(int)result);
}
break;
}
IFloatValue floatValue = expression.Value as IFloatValue;
if (floatValue != null)
{
newValue = _stackFrame.GetVirtualMachine().GetMirrorOf(-floatValue.GetValue());
break;
}
IDoubleValue doubleValue = expression.Value as IDoubleValue;
if (doubleValue != null)
{
newValue = _stackFrame.GetVirtualMachine().GetMirrorOf(-doubleValue.GetValue());
break;
}
throw new InvalidOperationException();
}
case TILDE:
{
long result;
if (!TryGetIntegralValue(expression.Value, out result))
{
throw new InvalidOperationException();
}
operatorText = "~";
if (expression.Value is ILongValue)
{
newValue = _stackFrame.GetVirtualMachine().GetMirrorOf(~result);
}
else
{
newValue = _stackFrame.GetVirtualMachine().GetMirrorOf(~(int)result);
}
break;
}
case BANG:
{
IBooleanValue booleanValue = expression.Value as IBooleanValue;
if (booleanValue == null)
{
throw new InvalidOperationException();
}
operatorText = "!";
newValue = _stackFrame.GetVirtualMachine().GetMirrorOf(!booleanValue.GetValue());
break;
}
case PREINC:
case PREDEC:
case POSTINC:
case POSTDEC:
throw new NotImplementedException();
default:
throw new ArgumentException("Invalid unary operator.");
}
string name = string.Format("{0}({1})", operatorText, expression.FullName);
return(new EvaluatedExpression(name, name, newValue, expression.HasSideEffects));
}
//private bool IsPrimitiveNumericValue(EvaluatedExpression expression)
//{
// Contract.Requires<ArgumentNullException>(expression != null, "expression");
// IPrimitiveValue primitiveValue = expression.Value as IPrimitiveValue;
// if (primitiveValue == null)
// return false;
//}
private EvaluatedExpression EvaluateBinary(CommonTree op, EvaluatedExpression left, EvaluatedExpression right)
{
Contract.Requires <ArgumentNullException>(op != null, "op");
Contract.Requires <ArgumentNullException>(left != null, "left");
Contract.Requires <ArgumentNullException>(right != null, "right");
Contract.Ensures(Contract.Result <EvaluatedExpression>() != null);
switch (op.Type)
{
case BARBAR:
throw new NotImplementedException();
case AMPAMP:
throw new NotImplementedException();
case BAR:
throw new NotImplementedException();
case CARET:
throw new NotImplementedException();
case AMP:
throw new NotImplementedException();
case EQEQ:
throw new NotImplementedException();
case BANGEQ:
throw new NotImplementedException();
case LE:
throw new NotImplementedException();
case GE:
throw new NotImplementedException();
case LT:
throw new NotImplementedException();
case GT:
throw new NotImplementedException();
case LSHIFT:
throw new NotImplementedException();
case URSHIFT:
throw new NotImplementedException();
case RSHIFT:
throw new NotImplementedException();
case PLUS:
throw new NotImplementedException();
case SUB:
throw new NotImplementedException();
case STAR:
throw new NotImplementedException();
case SLASH:
throw new NotImplementedException();
case PERCENT:
throw new NotImplementedException();
default:
throw new ArgumentException();
}
throw new NotImplementedException();
}
public EvaluatedExpression EvaluateMethod(EvaluatedExpression expression, CommonTree methodName, IList <EvaluatedExpression> arguments)
{
Contract.Requires <ArgumentNullException>(expression != null, "expression");
Contract.Requires <ArgumentNullException>(methodName != null, "methodName");
Contract.Requires <ArgumentNullException>(arguments != null, "arguments");
Contract.Ensures(Contract.Result <EvaluatedExpression>() != null);
Contract.Ensures(Contract.Result <EvaluatedExpression>().Method != null);
IReferenceType referenceType = expression.ValueType as IReferenceType;
if (referenceType == null)
{
throw new InvalidOperationException();
}
List <IMethod> methods = referenceType.GetMethodsByName(methodName.Text).ToList();
if (referenceType is IClassType)
{
methods.RemoveAll(i => !(i.GetDeclaringType() is IClassType));
}
if (methods.Count > 0)
{
methods.RemoveAll(i => i.GetArgumentTypeNames().Count != arguments.Count);
}
if (methods.Count == 0)
{
throw new InvalidOperationException("Evaluation failed.");
}
if (methods.Count > 1)
{
methods.RemoveAll(
m =>
{
ReadOnlyCollection <IType> argumentTypes = m.GetArgumentTypes();
for (int i = 0; i < arguments.Count; i++)
{
if (!IsAssignableFrom(argumentTypes[0], arguments[i].ValueType))
{
return(true);
}
}
return(false);
});
}
if (methods.Count > 1)
{
if (arguments.Any(i => i.ValueType is IPrimitiveType) || methods.Any(i => i.GetArgumentTypes().Any(j => j is IPrimitiveType)))
{
throw new NotImplementedException("Auto boxing/unboxing is not yet implemented.");
}
throw new InvalidOperationException("Ambiguous match?");
}
IMethod method = methods[0];
IObjectReference referencer = null;
if (!method.GetIsStatic())
{
referencer = expression.Value as IObjectReference;
if (referencer == null)
{
throw new InvalidOperationException();
}
if (method.GetDeclaringType() is IInterfaceType)
{
IClassType concreteType = referencer.GetReferenceType() as IClassType;
if (concreteType == null)
{
throw new InvalidOperationException();
}
method = concreteType.GetConcreteMethod(method.GetName(), method.GetSignature());
if (method == null)
{
throw new InvalidOperationException();
}
}
}
string fullName = string.Format("({0}).{1}", expression.FullName, methodName);
bool hasSideEffects = (expression != null && expression.HasSideEffects);
return(new EvaluatedExpression(fullName, fullName, referencer, method, hasSideEffects));
}
