public static void Main(System.String[] args)
{
bool guiStarted = false;
bool shellStarted = false;
Jamocha jamocha = new Jamocha(new Rete());
if (null != args)
{
for (int i = 0; i < args.Length; ++i)
{
if (args[i].ToUpper().Equals("-gui".ToUpper()))
{
jamocha.startGui();
guiStarted = true;
}
else if (args[i].ToUpper().Equals("-shell".ToUpper()))
{
jamocha.startShell();
shellStarted = true;
}
}
}
// if no arguments were given or by another cause neither gui nor shell
// were started, we show a usage guide.
if (!shellStarted && !guiStarted)
{
jamocha.showUsage();
}
else if (!shellStarted)
{
jamocha.JamochaGui.ExitOnClose = true;
}
}
public static void Main(System.String[] args)
{
bool guiStarted = false;
bool shellStarted = false;
Jamocha jamocha = new Jamocha(new Rete());
if (null != args)
{
for (int i = 0; i < args.Length; ++i)
{
if (args[i].ToUpper().Equals("-gui".ToUpper()))
{
jamocha.startGui();
guiStarted = true;
}
else if (args[i].ToUpper().Equals("-shell".ToUpper()))
{
jamocha.startShell();
shellStarted = true;
}
}
}
// if no arguments were given or by another cause neither gui nor shell
// were started, we show a usage guide.
if (!shellStarted && !guiStarted)
{
jamocha.showUsage();
}
else if (!shellStarted)
{
jamocha.JamochaGui.ExitOnClose = true;
}
}
private void InitBlock(Jamocha enclosingInstance)
{
this.enclosingInstance = enclosingInstance;
}
public AnonymousClassThread1(Jamocha enclosingInstance)
{
InitBlock(enclosingInstance);
}
private void InitBlock(Jamocha enclosingInstance)
{
this.enclosingInstance = enclosingInstance;
}
public AnonymousClassThread1(Jamocha enclosingInstance)
{
InitBlock(enclosingInstance);
}
