org.eclipse.tptp.trace.arm
Class SetConfig

java.lang.Object
  org.eclipse.tptp.platform.agentcontroller.config.SetConfigSkeleton
      org.eclipse.tptp.trace.arm.SetConfig

public class SetConfig

extends org.eclipse.tptp.platform.agentcontroller.config.SetConfigSkeleton

SetConfig generates the configuration file the arm runtime.

Field Summary

static java.lang.String

AGENT_TIMEOUT_KEY

Fields inherited from class org.eclipse.tptp.platform.agentcontroller.config.SetConfigSkeleton

arguments, configFile, fileName, isNewAC, overwrite, pr, silent, sr, verify, wantsBC

Constructor Summary

SetConfig()

Method Summary

void	askUser()
void	generateConfiguration() Generates the configuration for the arm runtime.
void	printExamples()
void	printHelp()

Methods inherited from class org.eclipse.tptp.platform.agentcontroller.config.SetConfigSkeleton

getLoader, getNLFiles, getNLFiles, getPluginName, getString, init, run, run, setFileName, setLoader, setPluginName, trim, validate

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

AGENT_TIMEOUT_KEY

public static final java.lang.String AGENT_TIMEOUT_KEY

See Also:

Constant Field Values

Constructor Detail

SetConfig

public SetConfig()

Method Detail

askUser

public void askUser()

generateConfiguration

public void generateConfiguration()

Generates the configuration for the arm runtime.

printExamples

public void printExamples()

printHelp

public void printHelp()