public override List <string> GetChannels()
{
List <string> channels = FirstProcess.GetChannels();
Common.Classes.Ultility.Ultility.AddList <string>(channels, SecondProcess.GetChannels());
return(channels);
}
/// <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> GetChannels()
{
List <string> toReturn = Process.GetChannels();
if (!toReturn.Contains(ChannelName))
{
toReturn.Add(ChannelName);
}
return(toReturn);
}
public override List <string> GetChannels()
{
return(Process.GetChannels());
}