/**
* The problem ID number.
*/
- private String id;
+ private String id;
/**
* The name of the class.
*/
- private String name;
+ private String name;
/**
* The path of the current source file.
*/
- private File sourceFile;
+ private File sourceFile;
/**
* The path of the problem directory.
*/
- private File directory;
+ private File directory;
/**
private static final Map<String,String> languageExtension = new HashMap<String,String>();
static
{
- languageExtension.put("Java", "java");
- languageExtension.put("C++", "cc");
- languageExtension.put("C#", "cs");
- languageExtension.put("VB", "vb");
+ languageExtension.put("Java", "java");
+ languageExtension.put("C++", "cc");
+ languageExtension.put("C#", "cs");
+ languageExtension.put("VB", "vb");
languageExtension.put("Python", "py");
}
* @throws Exception If the editor could not set itself up.
*/
public Editor(ProblemComponentModel component,
- Language language,
- Renderer renderer) throws Exception
+ Language language, Renderer renderer) throws Exception
{
this.id = String.valueOf(component.getProblem().getProblemID());
this.name = component.getClassName();
}
String lang = language.getName();
- String ext = languageExtension.get(lang);
+ String ext = languageExtension.get(lang);
// Set up the terms used for the template expansion.
HashMap<String,String> terms = new HashMap<String,String>();
- terms.put("RETURNTYPE", component.getReturnType().getDescriptor(language));
- terms.put("CLASSNAME", name);
- terms.put("METHODNAME", component.getMethodName());
+ terms.put("RETURNTYPE", component.getReturnType().getDescriptor(language));
+ terms.put("CLASSNAME", name);
+ terms.put("METHODNAME", component.getMethodName());
terms.put("METHODPARAMS", getMethodParams(component.getParamTypes(),
- component.getParamNames(),
- language));
- terms.put("METHODPARAMNAMES", Util.join(component.getParamNames(), ", "));
- terms.put("METHODPARAMSTREAMIN", Util.join(component.getParamNames(), " >> "));
+ component.getParamNames(), language));
+ terms.put("METHODPARAMNAMES", Util.join(component.getParamNames(), ", "));
+ terms.put("METHODPARAMSTREAMIN", Util.join(component.getParamNames(), " >> "));
terms.put("METHODPARAMSTREAMOUT", Util.join(component.getParamNames(), " << \", \" << "));
- terms.put("METHODPARAMDECLARES", getMethodParamDeclarations(component.getParamTypes(),
- component.getParamNames(),
- language));
+ terms.put("METHODPARAMDECLARES", getMethodParamDeclarations(component.getParamTypes(),
+ component.getParamNames(), language));
// Write the problem statement as an HTML file in the problem directory.
File problemFile = new File(directory, "Problem.html");
sourceFile = new File(directory, name + "." + ext);
if (!sourceFile.canRead())
{
- String text = Util.expandTemplate(readTemplate(lang + "Template"),
- terms);
+ String text = Util.expandTemplate(readTemplate(lang + "Template"), terms);
FileWriter writer = new FileWriter(sourceFile);
writer.write(text);
writer.close();
File driverFile = new File(directory, "driver." + ext);
if (!driverFile.canRead())
{
- String text = Util.expandTemplate(readTemplate(lang + "Driver"),
- terms);
+ String text = Util.expandTemplate(readTemplate(lang + "Driver"), terms);
FileWriter writer = new FileWriter(driverFile);
writer.write(text);
writer.close();
File makeFile = new File(directory, "Makefile");
if (!makeFile.canRead())
{
- String text = Util.expandTemplate(readTemplate(lang + "Makefile"),
- terms);
+ String text = Util.expandTemplate(readTemplate(lang + "Makefile"), terms);
FileWriter writer = new FileWriter(makeFile);
writer.write(text);
writer.close();
* @param argument A single argument for the remote command.
* @throws Exception If the command could not be sent.
*/
- private void sendVimCommand(String command,
- String argument) throws Exception
+ private void sendVimCommand(String command, String argument) throws Exception
{
String[] arguments = {argument};
sendVimCommand(command, arguments);
* @param argument Arguments for the remote command.
* @throws Exception If the command could not be sent.
*/
- private void sendVimCommand(String command,
- String[] arguments) throws Exception
+ private void sendVimCommand(String command, String[] arguments) throws Exception
{
String[] vimCommand = VimCoder.getVimCommand().split("\\s");
String[] flags = {"--servername", "VimCoder" + id, command};
* @param language The language used for representing the data types.
* @return The list of parameters.
*/
- private String getMethodParams(DataType[] types,
- String[] names,
- Language language)
+ private String getMethodParams(DataType[] types, String[] names, Language language)
{
String[] typeStrings = getStringTypes(types, language);
return Util.join(Util.combine(typeStrings, names, " "), ", ");
* @param language The language used for representing the data types.
* @return The parameters as a block of declarations.
*/
- private String getMethodParamDeclarations(DataType[] types,
- String[] names,
- Language language)
+ private String getMethodParamDeclarations(DataType[] types, String[] names, Language language)
{
final String end = ";" + System.getProperty("line.separator");
String[] typeStrings = getStringTypes(types, language);
/**
* The name and version of this plugin.
*/
- public final static String version = "VimCoder 0.3.1";
+ public final static String version = "VimCoder 0.3.1";
/**
* The website of the plugin project.
*/
- public final static String website = "http://www.dogcows.com/vimcoder";
+ public final static String website = "http://www.dogcows.com/vimcoder";
/**
* The first part of the command used to invoke the Vim server.
*/
- private static String vimCommand = "gvim";
+ private static String vimCommand = "gvim";
/**
* The path to the main VimCoder directory.
*/
- private static File rootDir;
+ private static File rootDir;
static
{
if (System.getProperty("os.name").toLowerCase().equals("win"))
vimCommand = "C:\\WINDOWS\\gvim.bat";
}
rootDir = new File(System.getProperty("user.home") +
- System.getProperty("file.separator") + ".vimcoder");
+ System.getProperty("file.separator") + ".vimcoder");
}
/**
* The panel given to the Arena applet when it is requested.
*/
- private JPanel panel;
+ private JPanel panel;
/**
* The text widget where log messages are appended.
*/
- private JTextArea logArea;
+ private JTextArea logArea;
/**
* The current editor object (or null if there is none).
*/
- private Editor editor;
+ private Editor editor;
/**
* The configuration panel.
*/
- private JDialog configDialog;
+ private JDialog configDialog;
/**
}
catch (Exception exception)
{
- logError("Failed to get source code: " +
- exception.getLocalizedMessage());
+ logError("Failed to get source code: " + exception.getLocalizedMessage());
throw exception;
}
}
catch (Exception exception)
{
logError("Failed to save the source given by the server: " +
- exception.getLocalizedMessage());
+ exception.getLocalizedMessage());
return;
}
}
* statement.
*/
public void setProblemComponent(ProblemComponentModel component,
- Language language,
- Renderer renderer)
+ Language language, Renderer renderer)
{
try
{
catch (Exception exception)
{
logError("An error occured while loading the problem: " +
- exception.getLocalizedMessage());
+ exception.getLocalizedMessage());
}
}