ClassCommandReader.java

/*******************************************************************************
 *
 *	Copyright (C) 2008 Fujitsu Services Ltd.
 *
 *	Author: Nick Battle
 *
 *	This file is part of VDMJ.
 *
 *	VDMJ is free software: you can redistribute it and/or modify
 *	it under the terms of the GNU General Public License as published by
 *	the Free Software Foundation, either version 3 of the License, or
 *	(at your option) any later version.
 *
 *	VDMJ is distributed in the hope that it will be useful,
 *	but WITHOUT ANY WARRANTY; without even the implied warranty of
 *	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *	GNU General Public License for more details.
 *
 *	You should have received a copy of the GNU General Public License
 *	along with VDMJ.  If not, see <http://www.gnu.org/licenses/>.
 *
 ******************************************************************************/

package org.overture.interpreter.commands;

import java.io.File;
import java.io.FileNotFoundException;
import java.util.regex.Matcher;
import java.util.regex.Pattern;

import org.overture.ast.definitions.SClassDefinition;
import org.overture.ast.lex.Dialect;
import org.overture.ast.util.definitions.ClassList;
import org.overture.config.Settings;
import org.overture.interpreter.messages.rtlog.RTLogger;
import org.overture.interpreter.messages.rtlog.RTTextLogger;
import org.overture.interpreter.messages.rtlog.nextgen.NextGenRTLogger;
import org.overture.interpreter.runtime.ClassInterpreter;

/**
 * A class to read and perform class related commands from standard input.
 */

public class ClassCommandReader extends CommandReader
{
	/** A ClassInterpreter version of the interpreter field. */
	private final ClassInterpreter cinterpreter;

	public ClassCommandReader(ClassInterpreter interpreter, String prompt)
	{
		super(interpreter, prompt);
		cinterpreter = interpreter;
	}

	public ClassCommandReader(ClassInterpreter interpreter, String prompt,
			boolean singlePass)
	{
		super(interpreter, prompt, singlePass);
		cinterpreter = interpreter;
	}

	@Override
	protected boolean doDefault(String line) throws Exception
	{
		String parts[] = line.split("\\s+");

		if (parts.length != 2)
		{
			throw new Exception("Usage: default <default class name>");
		}

		cinterpreter.setDefaultName(parts[1]);
		println("Default class set to " + cinterpreter.getDefaultName());
		return true;
	}

	@Override
	protected boolean doClasses(String line)
	{
		String def = cinterpreter.getDefaultName();
		ClassList classes = cinterpreter.getClasses();

		for (SClassDefinition c : classes)
		{
			if (c.getName().getName().equals(def))
			{
				println(c.getName().getName() + " (default)");
			} else
			{
				println(c.getName().getName());
			}
		}

		return true;
	}

	@Override
	protected boolean doCreate(String line) throws Exception
	{
		Pattern p = Pattern.compile("^create (\\w+)\\s*?:=\\s*(.+)$");
		Matcher m = p.matcher(line);

		if (m.matches())
		{
			String var = m.group(1);
			String exp = m.group(2);

			cinterpreter.create(var, exp);
		} else
		{
			throw new Exception("Usage: create <id> := <value>");
		}

		return true;
	}

	@Override
	protected boolean doLog(String line)
	{
		if (Settings.dialect != Dialect.VDM_RT)
		{
			return super.doLog(line);
		}

		if (line.equals("log"))
		{
			if (RTLogger.getLogSize() > 0)
			{
				println("Flushing " + RTLogger.getLogSize() + " RT events");
			}

			try
			{
				RTLogger.setLogfile(RTTextLogger.class, null);
				RTLogger.setLogfile(NextGenRTLogger.class, null);
				println("RT events now logged to the console");
			} catch (FileNotFoundException e)
			{
				println("Cannot create RT event log: " + e.getMessage());
			}

			return true;
		}

		String[] parts = line.split("\\s+");

		if (parts.length != 2 || !parts[0].equals("log"))
		{
			println("Usage: log [<file> | off]");
		} else if (parts[1].equals("off"))
		{
			RTLogger.enable(false);
			println("RT event logging disabled");
		} else
		{
			try
			{
				RTLogger.setLogfile(RTTextLogger.class, new File(parts[1]));
				println("RT events now logged to " + parts[1]);
			} catch (FileNotFoundException e)
			{
				println("Cannot create RT event log: " + e.getMessage());
			}
		}

		return true;
	}

	@Override
	protected void doHelp(String line)
	{
		println("classes - list the loaded class names");
		println("default <class> - set the default class name");
		println("create <id> := <exp> - create a named variable");

		if (Settings.dialect == Dialect.VDM_RT)
		{
			println("log [<file> | off] - log RT events to file");
		}

		super.doHelp(line);
	}
}