private ITES5Value ConvertExpression(ITES4BinaryExpression expression, TES5CodeScope codeScope, TES5GlobalScope globalScope, TES5MultipleScriptsScope multipleScriptsScope)
{
TES5ComparisonExpressionOperator?ceOp = TES5ComparisonExpressionOperator.GetFirstOrNull(expression.Operator.Name);
if (ceOp != null)
{
return(this.ConvertComparisonExpression(expression, codeScope, globalScope, multipleScriptsScope));
}
TES5LogicalExpressionOperator?leOp = TES5LogicalExpressionOperator.GetFirstOrNull(expression.Operator.Name);
if (leOp != null)
{
return(TES5ExpressionFactory.CreateLogicalExpression(this.CreateValue(expression.LeftValue, codeScope, globalScope, multipleScriptsScope), leOp, this.CreateValue(expression.RightValue, codeScope, globalScope, multipleScriptsScope)));
}
TES5ArithmeticExpressionOperator?aeOp = TES5ArithmeticExpressionOperator.GetFirstOrNull(expression.Operator.Name);
if (aeOp != null)
{
return(TES5ExpressionFactory.CreateArithmeticExpression(this.CreateValue(expression.LeftValue, codeScope, globalScope, multipleScriptsScope), aeOp, this.CreateValue(expression.RightValue, codeScope, globalScope, multipleScriptsScope)));
}
throw new ConversionException("Unknown expression op: " + expression.Operator.Name);
}
public static TES5ComparisonExpression CreateComparisonExpression(ITES5Value left, TES5ComparisonExpressionOperator op, ITES5Value right)
{
return(new TES5ComparisonExpression(left, op, right));
}
//WTM: Change: Added
private static bool CanConvertGetItemCountSpecialCases(TES5ObjectCall value1ObjectCall, TES5ComparisonExpressionOperator op, TES5Integer value2Integer)
{
if (op == TES5ComparisonExpressionOperator.OPERATOR_EQUAL && value2Integer.IntValue == 1)//Special cases
{
//I checked the meaning of these scripts, and ContainsItem is a suitable replacement.
if (value1ObjectCall.AccessedObject.Name == "MethredhelsChestRef_p" && ((TES5Reference)value1ObjectCall.Arguments[0]).Name == "TG01AmantiusDiary_p")
{
return(true);
} //TES4methredhelscript.psc
else if (value1ObjectCall.AccessedObject is TES5SelfReference)
{
if (
((TES5Reference)value1ObjectCall.Arguments[0]).Name == "Dark07RoderickPoison_p" || //TES4dark07cabinetscript.psc
((TES5Reference)value1ObjectCall.Arguments[0]).Name == "Dark09Finger_p" //TES4dark09deskscript.psc
)
{
return(true);
}
}
else if (value1ObjectCall.AccessedObject.Name == "TG03MyvrynasCupboardRef_p" && ((TES5Reference)value1ObjectCall.Arguments[0]).Name == "TG03LlathasasBust_p")
{
return(true);
} //TES4hieronymuslexscript.psc and tif__010034a3.psc
//TES4orumgangcourier1script.psc: functionality of fake Skooma rock explained here: https://en.uesp.net/wiki/Oblivion:Camonna_Tong_Thug
//Skooma is added to the fake rock if the rock has zero or one Skooma bottles, reaching a maximum of two bottles.
//If I use ContainsItem, the rock will only reach a maximum of one bottle.
//If I use GetItemCount, the rock will apparently fill infinitely.
//I'll need to check this later. @INCONSISTENCE
}
return(false);
}
private ITES5Value ConvertComparisonExpression(ITES4BinaryExpression expression, TES5CodeScope codeScope, TES5GlobalScope globalScope, TES5MultipleScriptsScope multipleScriptsScope)
{
Tuple <ITES4Value, ITES4Value>[] tes4ValueTuples = new Tuple <ITES4Value, ITES4Value>[]
{
new Tuple <ITES4Value, ITES4Value>(expression.LeftValue, expression.RightValue),
new Tuple <ITES4Value, ITES4Value>(expression.RightValue, expression.LeftValue)
};
/*
* Scenario 1 - Special functions converted on expression level
*/
foreach (Tuple <ITES4Value, ITES4Value> tes4ValueTuple in tes4ValueTuples)
{
ITES4Callable?valueTupleItem1 = tes4ValueTuple.Item1 as ITES4Callable;
if (valueTupleItem1 == null)
{
continue;
}
TES4Function function = valueTupleItem1.Function;
switch (function.FunctionCall.FunctionName.ToLower())
{
case "getweaponanimtype":
{
ITES5Referencer calledOn = this.CreateCalledOnReferenceOfCalledFunction(valueTupleItem1, codeScope, globalScope, multipleScriptsScope);
TES5ObjectCall equippedWeaponLeftValue = this.objectCallFactory.CreateObjectCall(this.objectCallFactory.CreateObjectCall(calledOn, "GetEquippedWeapon"), "GetWeaponType");
int[] targetedWeaponTypes;
switch ((int)tes4ValueTuple.Item2.Data)
{
case 0:
{
targetedWeaponTypes = new int[] { 0 };
break;
}
case 1:
{
targetedWeaponTypes = new int[] { 1, 2, 3, 4 };
break;
}
case 2:
{
targetedWeaponTypes = new int[] { 5, 6, 8 };
break;
}
case 3:
{
targetedWeaponTypes = new int[] { 7, 9 };
break;
}
default:
{
throw new ConversionException("GetWeaponAnimType() - Unknown weapon type in expression");
}
}
List <TES5ComparisonExpression> expressions = new List <TES5ComparisonExpression>();
foreach (var targetedWeaponType in targetedWeaponTypes)
{
expressions.Add(TES5ExpressionFactory.CreateComparisonExpression(equippedWeaponLeftValue, TES5ComparisonExpressionOperator.OPERATOR_EQUAL, new TES5Integer(targetedWeaponType)));
}
ITES5Expression resultExpression = expressions[0];
expressions.RemoveAt(0);
while (expressions.Any())
{
resultExpression = TES5ExpressionFactory.CreateLogicalExpression(resultExpression, TES5LogicalExpressionOperator.OPERATOR_OR, expressions.Last());
expressions.RemoveAt(expressions.Count - 1);
}
return(resultExpression);
}
case "getdetected":
{
TES5ObjectCallArguments inversedArgument = new TES5ObjectCallArguments()
{
this.CreateCalledOnReferenceOfCalledFunction(valueTupleItem1, codeScope, globalScope, multipleScriptsScope)
};
TES5ObjectCall getDetectedLeftValue = this.objectCallFactory.CreateObjectCall(this.referenceFactory.CreateReadReference(function.Arguments[0].StringValue, globalScope, multipleScriptsScope, codeScope.LocalScope), "isDetectedBy", inversedArgument);
TES5Integer getDetectedRightValue = new TES5Integer(((int)tes4ValueTuple.Item2.Data == 0) ? 0 : 1);
return(TES5ExpressionFactory.CreateComparisonExpression(getDetectedLeftValue, TES5ComparisonExpressionOperator.OPERATOR_EQUAL, getDetectedRightValue));
}
case "getdetectionlevel":
{
if (!tes4ValueTuple.Item2.HasFixedValue)
{
throw new ConversionException("Cannot convert getDetectionLevel calls with dynamic comparision");
}
TES5Bool tes5Bool = new TES5Bool(((int)tes4ValueTuple.Item2.Data) == 3); //true only if the compared value was 3
TES5ObjectCallArguments inversedArgument = new TES5ObjectCallArguments()
{
this.CreateCalledOnReferenceOfCalledFunction(valueTupleItem1, codeScope, globalScope, multipleScriptsScope)
};
return(TES5ExpressionFactory.CreateComparisonExpression
(
this.objectCallFactory.CreateObjectCall(this.referenceFactory.CreateReadReference(function.Arguments[0].StringValue, globalScope, multipleScriptsScope, codeScope.LocalScope), "isDetectedBy", inversedArgument),
TES5ComparisonExpressionOperator.OPERATOR_EQUAL,
tes5Bool
));
}
case "getcurrentaiprocedure":
{
if (!tes4ValueTuple.Item2.HasFixedValue)
{
throw new ConversionException("Cannot convert getCurrentAIProcedure() calls with dynamic comparision");
}
switch ((int)tes4ValueTuple.Item2.Data)
{
case 4:
{
return(TES5ExpressionFactory.CreateComparisonExpression(
this.objectCallFactory.CreateObjectCall(this.CreateCalledOnReferenceOfCalledFunction(valueTupleItem1, codeScope, globalScope, multipleScriptsScope), "IsInDialogueWithPlayer"),
TES5ComparisonExpressionOperator.OPERATOR_EQUAL,
new TES5Bool(expression.Operator == TES4ComparisonExpressionOperator.OPERATOR_EQUAL) //cast to true if the original op was ==, false otherwise.
));
}
case 8:
{
//ref.getSleepState() == 3
return(TES5ExpressionFactory.CreateComparisonExpression(
this.objectCallFactory.CreateObjectCall(this.CreateCalledOnReferenceOfCalledFunction(valueTupleItem1, codeScope, globalScope, multipleScriptsScope), "getSleepState"),
TES5ComparisonExpressionOperator.OPERATOR_EQUAL,
new TES5Integer(3) //SLEEPSTATE_SLEEP
));
}
case 13:
{
return(TES5ExpressionFactory.CreateComparisonExpression(
this.objectCallFactory.CreateObjectCall(this.CreateCalledOnReferenceOfCalledFunction(valueTupleItem1, codeScope, globalScope, multipleScriptsScope), "IsInCombat"),
TES5ComparisonExpressionOperator.OPERATOR_EQUAL,
new TES5Bool(expression.Operator == TES4ComparisonExpressionOperator.OPERATOR_EQUAL) //cast to true if the original op was ==, false otherwise.
));
}
case 0: //Travel
case 7: //Wander
case 15: //Pursue
case 17: //Done
{
//@INCONSISTENCE idk how to check it tbh. We return always true. Think about better representation
return(new TES5Bool(expression.Operator == TES4ComparisonExpressionOperator.OPERATOR_EQUAL));
}
default:
{
throw new ConversionException("Cannot convert GetCurrentAiProcedure - unknown TES4 procedure number arg " + ((int)tes4ValueTuple.Item2.Data).ToString());
}
}
}
case "isidleplaying":
case "getknockedstate":
case "gettalkedtopc":
{
return(new TES5Bool(true)); //This is so unimportant that i think it"s not worth to find a good alternative and waste time.
}
case "getsitting":
{
//WARNING: Needs to implement Horse sittings, too.
//SEE: http://www.gameskyrim.com/papyrus-isridinghorse-function-t255012.html
int goTo;
switch ((int)tes4ValueTuple.Item2.Data)
{
case 0:
{
goTo = 0;
break;
}
case 1:
case 2:
case 11:
case 12:
{
goTo = 2;
break;
}
case 3:
case 13:
{
goTo = 3;
break;
}
case 4:
case 14:
{
goTo = 4;
break;
}
default:
{
throw new ConversionException("GetSitting - unknown state found");
}
}
//ref.getSleepState() == 3
return(TES5ExpressionFactory.CreateComparisonExpression
(
this.objectCallFactory.CreateObjectCall(this.CreateCalledOnReferenceOfCalledFunction(valueTupleItem1, codeScope, globalScope, multipleScriptsScope), "GetSitState"),
TES5ComparisonExpressionOperator.GetFirst(expression.Operator.Name),
new TES5Integer(goTo)
));
}
}
}
ITES5Value leftValue = this.CreateValue(expression.LeftValue, codeScope, globalScope, multipleScriptsScope);
ITES5Value rightValue = this.CreateValue(expression.RightValue, codeScope, globalScope, multipleScriptsScope);
Tuple <ITES5Value, ITES5Value>[] tes5ValueTuples = new Tuple <ITES5Value, ITES5Value>[]
{
new Tuple <ITES5Value, ITES5Value>(leftValue, rightValue),
new Tuple <ITES5Value, ITES5Value>(rightValue, leftValue)
};
TES5BasicType objectReferenceType = TES5BasicType.T_FORM; //used just to make sure.
TES5ComparisonExpressionOperator op = TES5ComparisonExpressionOperator.GetFirst(expression.Operator.Name);
/*
* Scenario 2: Comparision of ObjectReferences to integers ( quick formid check )
*/
bool flipOperator = false;
foreach (var valueTuple in tes5ValueTuples)
{
TES5ComparisonExpressionOperator newOp = !flipOperator ? op : op.Flip();
if (TES5InheritanceGraphAnalyzer.IsTypeOrExtendsType(valueTuple.Item1.TES5Type, objectReferenceType) || TES5InheritanceGraphAnalyzer.IsTypeOrExtendsType(valueTuple.Item1.TES5Type.NativeType, objectReferenceType))
{
if (valueTuple.Item2.TES5Type == TES5BasicType.T_INT)
{
//Perhaps we should allow to try to cast upwards for primitives, .asPrimitive() or similar
//In case we do know at compile time that we"re comparing against zero, then we can assume
//we can compare against None, which allows us not call GetFormID() on most probably None object
TES5Integer tes5SetItem2Integer = (TES5Integer)valueTuple.Item2;
if (tes5SetItem2Integer.IntValue == 0)
{
newOp = op == TES5ComparisonExpressionOperator.OPERATOR_EQUAL ? op : TES5ComparisonExpressionOperator.OPERATOR_NOT_EQUAL;
return(TES5ExpressionFactory.CreateComparisonExpression(valueTuple.Item1, newOp, new TES5None()));
}
else
{
ITES5Referencer callable = (ITES5Referencer)valueTuple.Item1;
TES5ObjectCall tes5setNewItem1 = this.objectCallFactory.CreateObjectCall(callable, "GetFormID");
return(TES5ExpressionFactory.CreateComparisonExpression(tes5setNewItem1, newOp, valueTuple.Item2));
}
}
}
else if (valueTuple.Item1.TES5Type.OriginalName == TES5VoidType.OriginalNameConst)
{
#if PHP_COMPAT
TES5IntegerOrFloat tes5SetItem2Number = tes5set.Item2 as TES5IntegerOrFloat;
if (tes5SetItem2Number != null && tes5SetItem2Number.ConvertedIntValue == 0)
{
return(TES5ExpressionFactory.createArithmeticExpression(tes5set.Item1, newOp, new TES5None()));
}
#else
throw new ConversionException("Type was void.");//This shouldn't happen anymore.
#endif
}
if (!TES5InheritanceGraphAnalyzer.IsTypeOrExtendsTypeOrIsNumberType(valueTuple.Item1.TES5Type, valueTuple.Item2.TES5Type, true))//WTM: Change: Added entire if branch
{
if (valueTuple.Item1.TES5Type.NativeType == TES5BasicType.T_QUEST && valueTuple.Item2.TES5Type == TES5BasicType.T_INT)
{
TES5ObjectCall getStage = this.objectCallFactory.CreateObjectCall((ITES5Referencer)valueTuple.Item1, "GetStage");
return(TES5ExpressionFactory.CreateComparisonExpression(getStage, newOp, valueTuple.Item2));
}
if (valueTuple.Item1.TES5Type == TES5BasicType.T_BOOL && valueTuple.Item2.TES5Type == TES5BasicType.T_INT)
{
int item2Value = ((TES5Integer)valueTuple.Item2).IntValue;
if (item2Value != 0 && item2Value != 1)
{
throw new ConversionException("Unexpected Value: " + item2Value.ToString());
}
ITES5Value newItem2 = new TES5Bool(item2Value == 1);
newOp = op == TES5ComparisonExpressionOperator.OPERATOR_EQUAL ? op : TES5ComparisonExpressionOperator.OPERATOR_NOT_EQUAL;
return(TES5ExpressionFactory.CreateComparisonExpression(valueTuple.Item1, newOp, newItem2));
}
if (valueTuple.Item1.TES5Type == TES5BasicType.T_ACTOR && valueTuple.Item2.TES5Type == TES5BasicType.T_ACTORBASE)
{
return(TES5ExpressionFactory.CreateComparisonExpression(objectCallFactory.CreateGetActorBase((TES5ObjectCall)valueTuple.Item1), newOp, valueTuple.Item2));
}
//WTM: Change: Added for se08barriertriggerscript
if (newOp == TES5ComparisonExpressionOperator.OPERATOR_EQUAL && TES5InheritanceGraphAnalyzer.IsTypeOrExtendsType(valueTuple.Item1.TES5Type, TES5BasicType.T_FORM) && TES5InheritanceGraphAnalyzer.IsTypeOrExtendsType(valueTuple.Item2.TES5Type, TES5BasicType.T_FORM))
{
TES5Reference reference1 = (TES5Reference)valueTuple.Item1;
TES5Reference reference2 = (TES5Reference)valueTuple.Item2;
reference1.ManualCastTo = TES5BasicType.T_FORM;
reference2.ManualCastTo = TES5BasicType.T_FORM;
return(TES5ExpressionFactory.CreateComparisonExpression(reference1, newOp, reference2));
}
throw new ConversionException("Type could not be converted.");
}
TES5ComparisonExpression?containsCall = ConvertGetItemCountCallToContainsItemCall(valueTuple.Item1, op, valueTuple.Item2); //WTM: Change: Added
if (containsCall != null)
{
return(containsCall);
}
flipOperator = true;
}
return(TES5ExpressionFactory.CreateComparisonExpression(leftValue, op, rightValue));
}
//WTM: Change: Added:
//I think GetItemCount returns 0 for all Containers that have ObjectReference scripts before they are opened:
//https://forums.nexusmods.com/index.php?/topic/7174696-huge-mystery-with-getitemcount/#entry65389511
//Once the player opens the Container once, then GetItemCount starts returning the correct count.
//This does not seem to apply to ObjectRefence, so I've excluded it below.
private TES5ComparisonExpression?ConvertGetItemCountCallToContainsItemCall(ITES5Value leftValue, TES5ComparisonExpressionOperator op, ITES5Value rightValue)
{
if (rightValue.TES5Type == TES5BasicType.T_INT)
{
TES5ObjectCall?value1ObjectCall = leftValue as TES5ObjectCall;
if (value1ObjectCall != null && value1ObjectCall.FunctionName.Equals("GetItemCount", StringComparison.OrdinalIgnoreCase))
{
ITES5Referencer accessedObject = value1ObjectCall.AccessedObject;
if (accessedObject is TES5PlayerReference)
{
return(null);
} //WTM: Note: GetItemCount works for the player, so the call doesn't need to be converted to ContainsItem.
ITES5VariableOrProperty?calledOn = accessedObject.ReferencesTo;
if (calledOn == null)
{
TES5ObjectCall?innerObjectCall = accessedObject as TES5ObjectCall;
if (innerObjectCall == null)
{
throw new InvalidOperationException("Called on object could not be found.");
}
calledOn = innerObjectCall.AccessedObject.ReferencesTo;
if (calledOn == null)
{
throw new InvalidOperationException("Called on object could not be found.");
}
}
if (calledOn.ReferenceEDID == null)
{
throw new NullableException(nameof(calledOn.ReferenceEDID));
}
ITES5Type?referenceType = esmAnalyzer.GetTypeByEDIDWithFollow(calledOn.ReferenceEDID, true, useScriptTypeCache: false);
if (referenceType == null)
{
referenceType = calledOn.TES5Type;
} //WTM: Note: Revert to type determined by previous inferences.
/*
* //WTM: Note: Example:
* calledOn.ReferenceEDID: Dark11ChorrolSackRef
* referenceType.OriginalName: Dark11ChorrolDropScript
* referenceType.NativeType: Container
* Dark11ChorrolSack "Old Sack" [CONT:00031B2B] SCRI: Dark11ChorrolDropScript [SCPT:00031B28]
* Dark11ChorrolSackRef is an ObjectReference with a base object of a Container,
* but Dark11ChorrolDropScript had to be inferred as an ObjectReference for transpilation to complete.
*/
if (TES5InheritanceGraphAnalyzer.IsTypeOrExtendsType(referenceType, TES5BasicType.T_OBJECTREFERENCE))
{//WTM: Note: I think GetItemCount works for ObjectReferences that are transpiled as ObjectReferences.
//So they don't require the use of ContainsItem.
return(null);
}
TES5Integer?value2Integer = rightValue as TES5Integer;
if (value2Integer != null)
{
bool canConvert, negate = false;
if (
(op == TES5ComparisonExpressionOperator.OPERATOR_GREATER && value2Integer.IntValue == 0) ||
(op == TES5ComparisonExpressionOperator.OPERATOR_GREATER_OR_EQUAL && value2Integer.IntValue == 1) ||
(op == TES5ComparisonExpressionOperator.OPERATOR_NOT_EQUAL && value2Integer.IntValue == 0)
)
{
canConvert = true;
}
else if (
(op == TES5ComparisonExpressionOperator.OPERATOR_LESS && value2Integer.IntValue == 1) ||
(op == TES5ComparisonExpressionOperator.OPERATOR_LESS_OR_EQUAL && value2Integer.IntValue == 0) ||
(op == TES5ComparisonExpressionOperator.OPERATOR_EQUAL && value2Integer.IntValue == 0)
)
{
canConvert = true;
negate = true;
}
else
{
canConvert = CanConvertGetItemCountSpecialCases(value1ObjectCall, op, value2Integer);
}
if (canConvert)
{
TES5ObjectCall newObjectCall = objectCallFactory.CreateObjectCall(value1ObjectCall.AccessedObject, "ContainsItem", value1ObjectCall.Arguments);
TES5ComparisonExpression comparisonExpression = TES5ExpressionFactory.CreateComparisonExpression(newObjectCall, TES5ComparisonExpressionOperator.OPERATOR_EQUAL, new TES5Bool(!negate));
return(comparisonExpression);
}
}
}
}
return(null);
}
