public override List <string> GetGlobalVariables()
{
List <string> Variables = Process.GetGlobalVariables();
Common.Classes.Ultility.Ultility.AddList(Variables, Condition.GetVars());
return(Variables);
}
/// <summary>
/// To Perform the static analysis on a single definition first.
/// </summary>
public void StaticAnalysis()
{
MustAbstract = Process.MustBeAbstracted();
Channels = Process.GetChannels();
GlobalVars = Process.GetGlobalVariables();
if (AlphabetEvents != null)
{
if (AlphabetEvents.ContainsVariable())
{
AlphabetsCalculable = false;
Alphabets = null;
}
else
{
Alphabets = new HashSet <string>(new EventCollection(AlphabetEvents).EventNames);
AlphabetsCalculable = true;
}
}
else
{
if (AlphabetsCalculable)
{
//to check why is null here? forget the reason le.
Alphabets = Process.GetAlphabets(null);
}
}
}
public override List <string> GetGlobalVariables()
{
List <string> Variables = FirstProcess.GetGlobalVariables();
Common.Classes.Ultility.Ultility.AddList <string>(Variables, SecondProcess.GetGlobalVariables());
return(Variables);
}
public override List <string> GetGlobalVariables()
{
List <string> toReturn = Process.GetGlobalVariables();
foreach (Expression expression in ExpressionList)
{
Common.Classes.Ultility.Ultility.AddList(toReturn, expression.GetVars());
}
return(toReturn);
}
public List <string> GetGlobalVariables(List <string> visitedDef)
{
List <string> Variables = new List <string>();
foreach (ParallelDefinition definition in Definitions)
{
Common.Classes.Ultility.Ultility.AddList(Variables, definition.GetGlobalVariables());
}
Common.Classes.Ultility.Ultility.AddList(Variables, Process.GetGlobalVariables());
return(Variables);
}
public override List <string> GetGlobalVariables()
{
List <string> Variables = Process.GetGlobalVariables();
Common.Classes.Ultility.Ultility.AddList(Variables, AssignmentExpr.GetVars());
if (Event.ExpressionList != null)
{
foreach (Expression expression in Event.ExpressionList)
{
Common.Classes.Ultility.Ultility.AddList(Variables, expression.GetVars());
}
}
return(Variables);
}
public override List <string> GetGlobalVariables()
{
return(Process.GetGlobalVariables());
}