Main

getDefaultEiffelFiles

getDefaultHeaderFiles

getDefaultSTCHeaderFile

data Flag

data Target

data Mode

options

compileOpts

showHelp

invokeError

helpMessage