/* Get TypeTable for a Update TypeTable message */
private TypeTable GetTypeTableFromUpdateTableMessage(Message msg)
{
TypeTable table = TypeTable.loadFromXML(msg.body);
return(table);
}
public void UpdateTypeTableReceivedMethod(Message msg)
{
TypeTable table = GetTypeTableFromUpdateTableMessage(msg);
Analyze(table, msg.src);
}
/* Get TypeTable for a DepAnal message */
private TypeTable GetTypeTableFromDepAnalMessage(Message msg)
{
TypeTable table = ExtractTypesToDepAnalyze(msg);
return(table);
}
