/* 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); }