org.eclipse.tptp.platform.agentcontroller.config
Class SetConfig

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

public class SetConfig

extends SetConfigSkeleton

Field Summary

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

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

Constructor Summary

SetConfig()

Method Summary

void	askUser()
void	generateConfiguration()
void	init(java.util.Hashtable hash)
static void	main(java.lang.String[] args)
void	printExamples()
void	printHelp()
void	validate(java.lang.Boolean showAll) Validate the primary configuration file, outputs findings to standard out, this is experimental and provisional for now but is much needed to minimize time taken for debugging issues

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SetConfig

public SetConfig()

Method Detail

main

public static void main(java.lang.String[] args)

init

public void init(java.util.Hashtable hash)

Overrides:

init in class SetConfigSkeleton

askUser

public void askUser()

Specified by:

askUser in class SetConfigSkeleton

printHelp

public void printHelp()

Specified by:

printHelp in class SetConfigSkeleton

printExamples

public void printExamples()

Specified by:

printExamples in class SetConfigSkeleton

validate

public void validate(java.lang.Boolean showAll)

Description copied from class: SetConfigSkeleton

Validate the primary configuration file, outputs findings to standard out, this is experimental and provisional for now but is much needed to minimize time taken for debugging issues

Overrides:

validate in class SetConfigSkeleton

generateConfiguration

public void generateConfiguration()

Specified by:

generateConfiguration in class SetConfigSkeleton