/**
* Adds event defintion node to contract upon invocation as long as instance is not null
*/
public override bool EventDefinition_TraceNode(EventDefinition givenNode)
{
if (classContext != null)
{
//Contract for a given contract to be added, the event node to be added to the contract
classContext.InsertEventInContract(currentContract, givenNode);
}
return(false);
}
/**
* Iterates through contract set, filters functions and events from base contracts and adds them to AST_Handler instance
*/
public void filterFunctionsAndEvents()
{
List <ContractDefinition> contractSet = new List <ContractDefinition>(classTranslatorContext.ContractDefinitionsMap);
foreach (ContractDefinition indexContract in contractSet)
{
// create a localised list of integer values containi
List <int> baseContractSet = new List <int>(indexContract.LinearBaseContracts);
//for each base contract, return its respective function and event definitiosn and add them to the Handler context.
foreach (int i in baseContractSet)
{
//return the base contract at index i
ContractDefinition baseContract = classTranslatorContext.retrieveASTNodethroughID(i) as ContractDefinition;
if (baseContract != null)
{
//loop through function defs hashset and for each functionDefinition, compute
//the function signature and add the function to the AST_Handler instance.
foreach (FunctionDefinition function in classTranslatorContext.returnFunctionDefs(baseContract))
{
string functionSignature = Conversion_Utility_Tool.ComputeFunctionSignature(function);
if (classTranslatorContext != null)
{
classTranslatorContext.AddFunctionToDynamicType(
Conversion_Utility_Tool.ComputeFunctionSignature(function), //Computed signature of function
indexContract, //contract for which function will be added
function); //Function be added
}
}
foreach (EventDefinition singleEvent in classTranslatorContext.retrieveEventDefinitionsUsingContract(baseContract))
{
//if the translator context is not null then add the single event to the contract via addEventToContract
if (classTranslatorContext != null)
{
classTranslatorContext.InsertEventInContract(indexContract, singleEvent);
}
}
//Compute Visible functions in existing function declaration
foreach (string funcSig in classTranslatorContext.SignatureFunctionMap.Keys)
{
foreach (ContractDefinition tempContract in classTranslatorContext.SignatureFunctionMap[funcSig].Keys)
{
FunctionDefinition funcDef = classTranslatorContext.SignatureFunctionMap[funcSig][tempContract];
classTranslatorContext.AddVisibleFunctionToContract(funcDef, tempContract);
}
}
}
}
}
}
