public static (CDFG, List <ParseException>) Parse(string xmlText)
{
XmlDocument xmlDocument = new XmlDocument();
xmlDocument.LoadXml(xmlText);
XmlNode node;
try
{
node = xmlDocument.FirstChild.GetNodeWithName("block");
}
catch (Exception)
{
throw new MissingBlockException("", "Missing start block.");
}
try
{
node = node.GetNodeWithName("statement").GetNodeWithName("block");
}
catch (Exception)
{
throw new MissingBlockException("", "Program contains no blocks");
}
ParserInfo parserInfo = new ParserInfo();
DFG <Block> startDFG = ParseDFG(node, parserInfo, true);
parserInfo.cdfg.StartDFG = startDFG;
return(parserInfo.cdfg, parserInfo.ParseExceptions);
}
private static IControlBlock ParseDFGBreaker(XmlNode node, DFG <Block> dfg, ParserInfo parserInfo)
{
string id = node.GetAttributeValue(Block.ID_FIELD_NAME);
string blockType = node.Attributes[Block.TYPE_FIELD_NAME].Value;
switch (blockType)
{
case If.XML_TYPE_NAME:
return(new If(node, dfg, parserInfo));
case Repeat.XML_TYPE_NAME:
return(new Repeat(node, dfg, parserInfo));
case While.XML_TYPE_NAME:
return(new While(node, dfg, parserInfo));
case InlineProgram.XML_TYPE_NAME:
InlineProgram program = ProgramCache.GetProgram(node, id, parserInfo);
if (!program.IsValidProgram)
{
parserInfo.ParseExceptions.Add(new ParseException(id, "There is program errors in the program: " + program.ProgramName));
return(null);
}
return(program.GetProgram(node, parserInfo));
default:
throw new UnknownBlockException(id);
}
}
internal static Block ParseAndAddNodeToDFG(XmlNode node, DFG <Block> dfg, ParserInfo parserInfo, bool allowDeclarationBlocks = false)
{
Block block = ParseBlock(node, dfg, parserInfo, allowDeclarationBlocks);
dfg.AddNode(block);
return(block);
}
internal static DFG <Block> ParseNextDFG(XmlNode node, ParserInfo parserInfo)
{
node = node.TryGetNodeWithName("next");
if (node == null)
{
return(null);
}
node = node.FirstChild;
return(ParseDFG(node, parserInfo));
}
internal static DFG <Block> ParseDFG(XmlNode node, ParserInfo parserInfo, bool allowDeclarationBlocks = false, bool canFirstBlockBeControlFlow = true)
{
parserInfo.EnterDFG();
try
{
IControlBlock controlBlock = null;
var dfg = new DFG <Block>();
while (true)
{
if (IsDFGBreaker(node, dfg) && canFirstBlockBeControlFlow)
{
controlBlock = ParseDFGBreaker(node, dfg, parserInfo);
break;
}
canFirstBlockBeControlFlow = true;
Block block = null;
try
{
block = ParseAndAddNodeToDFG(node, dfg, parserInfo, allowDeclarationBlocks);
}
catch (ParseException e)
{
parserInfo.ParseExceptions.Add(e);
}
allowDeclarationBlocks = block is DeclarationBlock && allowDeclarationBlocks;
//move on to the next node or exit if none
node = node.TryGetNodeWithName("next");
if (node == null)
{
break;
}
node = node.FirstChild;
}
if (parserInfo.ParseExceptions.Count == 0)
{
dfg.FinishDFG();
}
parserInfo.cdfg.AddNode(controlBlock, dfg);
parserInfo.LeftDFG();
return(dfg);
}
catch (ParseException e)
{
parserInfo.ParseExceptions.Add(e);
parserInfo.LeftDFG();
return(null);
}
}
public static FluidInput ParseFluidInput(XmlNode node, DFG <Block> dfg, ParserInfo parserInfo, bool doVariableCheck = true)
{
string id = node.GetAttributeValue(Block.ID_FIELD_NAME);
string blockType = node.GetAttributeValue(Block.TYPE_FIELD_NAME);
switch (blockType)
{
case BasicInput.XML_TYPE_NAME:
return(BasicInput.Parse(node, parserInfo, doVariableCheck));
case GetArrayFluid.XML_TYPE_NAME:
return(GetArrayFluid.Parse(node, dfg, parserInfo, doVariableCheck));
default:
throw new UnknownBlockException(id);
}
}
public static Block ParseBlock(XmlNode node, DFG <Block> dfg, ParserInfo parserInfo, bool allowDeclarationBlocks = false, bool canBeScheduled = true)
{
string id = node.GetAttributeValue(Block.ID_FIELD_NAME);
string blockType = node.GetAttributeValue(Block.TYPE_FIELD_NAME);
switch (blockType)
{
case ArithOP.XML_TYPE_NAME:
return(ArithOP.Parse(node, dfg, parserInfo, canBeScheduled));
case Constant.XML_TYPE_NAME:
return(Constant.Parse(node, parserInfo, canBeScheduled));
case FluidArray.XML_TYPE_NAME:
return(FluidArray.Parse(node, dfg, parserInfo));
case SetArrayFluid.XML_TYPE_NAME:
return(SetArrayFluid.Parse(node, dfg, parserInfo));
case Fluid.XML_TYPE_NAME:
return(Fluid.Parse(node, dfg, parserInfo));
case InputDeclaration.XML_TYPE_NAME:
if (!allowDeclarationBlocks)
{
parserInfo.ParseExceptions.Add(new ParseException(id, "Declaration blocks has to be at the top of the program."));
}
return(InputDeclaration.Parse(node, parserInfo));
case OutputDeclaration.XML_TYPE_NAME:
if (!allowDeclarationBlocks)
{
parserInfo.ParseExceptions.Add(new ParseException(id, "Declaration blocks has to be at the top of the program."));
}
return(OutputDeclaration.Parse(node, parserInfo));
case WasteDeclaration.XML_TYPE_NAME:
if (!allowDeclarationBlocks)
{
parserInfo.ParseExceptions.Add(new ParseException(id, "Declaration blocks has to be at the top of the program."));
}
return(WasteDeclaration.Parse(node, parserInfo));
case HeaterDeclaration.XML_TYPE_NAME:
if (!allowDeclarationBlocks)
{
parserInfo.ParseExceptions.Add(new ParseException(id, "Declaration blocks has to be at the top of the program."));
}
return(HeaterDeclaration.Parse(node, parserInfo));
case OutputUsage.XML_TYPE_NAME:
return(OutputUsage.Parse(node, dfg, parserInfo));
case WasteUsage.XML_TYPE_NAME:
return(WasteUsage.Parse(node, dfg, parserInfo));
case DropletDeclaration.XML_TYPE_NAME:
return(DropletDeclaration.Parse(node, parserInfo));
case BoolOP.XML_TYPE_NAME:
return(BoolOP.Parse(node, dfg, parserInfo, canBeScheduled));
//case Sensor.XmlTypeName:
// return Sensor.Parse(node);
case GetNumberVariable.XML_TYPE_NAME:
return(GetNumberVariable.Parse(node, parserInfo, canBeScheduled));
case SetNumberVariable.XML_TYPE_NAME:
return(SetNumberVariable.Parse(node, dfg, parserInfo));
case GetDropletCount.XML_TYPE_NAME:
return(GetDropletCount.Parser(node, parserInfo, canBeScheduled));
case GetArrayLength.XML_TYPE_NAME:
return(GetArrayLength.Parse(node, parserInfo, canBeScheduled));
case ImportVariable.XML_TYPE_NAME:
return(ImportVariable.Parse(node, parserInfo, canBeScheduled));
case NumberArray.XML_TYPE_NAME:
return(NumberArray.Parse(node, dfg, parserInfo));
case GetArrayNumber.XML_TYPE_NAME:
return(GetArrayNumber.Parse(node, dfg, parserInfo, canBeScheduled));
case SetArrayNumber.XML_TYPE_NAME:
return(SetArrayNumber.Parse(node, dfg, parserInfo, canBeScheduled));
case RoundOP.XML_TYPE_NAME:
return(RoundOP.Parse(node, dfg, parserInfo, canBeScheduled));
default:
throw new UnknownBlockException(id);
}
}
