/// <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 bool MustBeAbstracted()
{
return(FirstProcess.MustBeAbstracted() || SecondProcess.MustBeAbstracted());
}
public override bool MustBeAbstracted()
{
return(Process.MustBeAbstracted());
}