public static ArrayList ScanString(string ocls)
{
var stream = new MemoryStream(
Encoding.UTF8.GetBytes("package Rules\n" + ocls + "\nendpackage"));
var scanner = Scanner.CreateScanner(stream);
var parser = new Parser(scanner);
try
{
var parseTree = parser.ParseOCLfile();
return(AspectPrinter.Print(parseTree));
}
catch (Exception e)
{
var err = e.Message + "\n";
err += e.StackTrace + "\n";
throw new Exception(err);
}
}
public static ArrayList ScanFile(string file)
{
Stream stream = File.OpenRead(file);
Scanner scanner = Scanner.CreateScanner(stream);
Parser parser = new Parser(scanner);
try
{
OCLfile parse_tree = parser.ParseOCLfile();
return(AspectPrinter.Print(parse_tree));
}
catch (Exception e)
{
Console.Out.WriteLine("Parse NOT Successful:");
Console.Out.WriteLine(e.Message);
Console.Out.WriteLine("");
Console.Out.WriteLine("Stack Trace:");
Console.Out.WriteLine(e.StackTrace);
return(null);
}
}
public static void Main(string[] args)
{
if (args.Length > 0)
{
Stream stream = File.OpenRead(args[0]);
/* The default entry point is used. For other options see class Parser */
Scanner scanner = Scanner.CreateScanner(stream);
Parser parser = new Parser(scanner);
// Uncomment to enable trace information:
// parser.Trace shows what the parser is doing
// parser.Trace = true;
// scanner.Trace prints the tokens as they are parsed, one token per line
// scanner.Trace = true;
// parser.scanner = scanner;
try
{
OCLfile parse_tree = parser.ParseOCLfile();
if (parse_tree != null)
{
Console.Out.WriteLine("Parse Successful!");
Console.Out.WriteLine("");
Console.Out.WriteLine("[Abstract Syntax]");
Console.Out.WriteLine("{0}", PrettyPrinter.Show(parse_tree));
Console.Out.WriteLine("");
Console.Out.WriteLine("[Linearized Tree]");
Console.Out.WriteLine("{0}", PrettyPrinter.Print(parse_tree));
Console.Out.WriteLine("");
Console.Out.WriteLine("[OCL Objects List]");
ArrayList array = AspectPrinter.Print(parse_tree);
foreach (Aspect a in array)
{
a.Print();
}
List <int> l = new List <int>()
{
1, 2, 3, 4, 5, 6
};
var b = l.TrueForAll(x => l.TrueForAll(y =>
{
if (x > y)
{
return(x + y >= 3);
}
else
{
return(true);
}
}));
Console.WriteLine(b);
}
else
{
Console.Out.WriteLine("Parse NOT Successful!");
}
}
catch (Exception e)
{
Console.Out.WriteLine("Parse NOT Successful:");
Console.Out.WriteLine(e.Message);
Console.Out.WriteLine("");
Console.Out.WriteLine("Stack Trace:");
Console.Out.WriteLine(e.StackTrace);
}
}
else
{
Console.Out.WriteLine("You must specify a filename!");
}
}