|
Jadex 0.96-beta1 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjadex.model.BatchProcessor
public class BatchProcessor
Batch-process models (e.g., for checking).
Nested Class Summary | |
---|---|
static class |
BatchProcessor.AgentInfo
Struct for saving file info for agents. |
static class |
BatchProcessor.CapabilityInfo
Struct for saving file info for capabilities. |
static class |
BatchProcessor.DirectoryInfo
Struct for saving directory info. |
static class |
BatchProcessor.FileInfo
Struct for saving file info. |
static class |
BatchProcessor.PropertiesInfo
Struct for saving file info for properties. |
Constructor Summary | |
---|---|
BatchProcessor(boolean v,
boolean rp,
boolean rd)
Create a new batch processor. |
Method Summary | |
---|---|
static void |
main(String[] args)
Main for invoking the batch processor. |
static void |
printUsage()
Print out the usage. |
void |
processFiles(BatchProcessor.FileInfo[] fileinfos)
Process a list of files and direcctories. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public BatchProcessor(boolean v, boolean rp, boolean rd)
v
- Verbose output for each file.rp
- Compile also all capabilities contained in a model.rd
- Search recusively in subdirectories.Method Detail |
---|
public void processFiles(BatchProcessor.FileInfo[] fileinfos)
fileinfos
- The list of file infos.public static void printUsage()
public static void main(String[] args) throws IOException
IOException
|
Jadex 0.96-beta1 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Copyright (C) 2002-2007 Lars Braubach, Alexander Pokahr - University of Hamburg. Use is subject to license terms.