io.sarl.lang.compiler.batch
Enumeration CleaningPolicy
All Superinterfaces:
java.io.Serializable, java.lang.Comparable<T>, java.lang.constant.Constable
final enum CleaningPolicy
extends java.lang.Object
The policy that should be used for cleaning the files after a compilation.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
batchcompiler
Since:
0.10
Property Summary
Modifier and type Property and description
java.lang.String caseInsensitiveName
Replies the string representation of this cleaning policy.
Enumeration Constant Summary
Constant and description
FULL_CLEANING
All the files and the root temp directory are removed.
INTERNAL_CLEANING
The subfolders of the root temporary folder will be cleaning with the Files#cleanFolder(java.io.File, java.io.FileFilter, boolean, boolean) function, with no file filtering.
NO_CLEANING
No cleaning.
Action Summary
Modifier and type Action and description
java.lang.String getCaseInsensitiveName
Replies the string representation of this cleaning policy.
static CleaningPolicy getDefault
Replies the default cleaning policy.
static CleaningPolicy valueOf(String)
static CleaningPolicy valueOfCaseInsensitive(String)
Parse the given case insensitive string for obtaining the cleaning policy.
static CleaningPolicy values
Enumeration Constant Details
FULL_CLEANING 
static val FULL_CLEANING : CleaningPolicy
All the files and the root temp directory are removed.
INTERNAL_CLEANING 
static val INTERNAL_CLEANING : CleaningPolicy
The subfolders of the root temporary folder will be cleaning with the Files#cleanFolder(java.io.File, java.io.FileFilter, boolean, boolean) function, with no file filtering.
NO_CLEANING 
static val NO_CLEANING : CleaningPolicy
No cleaning. All the files that are generated by the SARL compilation stay as they are.
Property Details
caseInsensitiveName 
val caseInsensitiveName : java.lang.String
Replies the string representation of this cleaning policy.

This property is an alias for the action: getCaseInsensitiveName

Returns:
the string representation.
Action Details
getCaseInsensitiveName 
def getCaseInsensitiveName : java.lang.String
Replies the string representation of this cleaning policy.
Returns:
the string representation.
getDefault 
def getDefault : CleaningPolicy
Replies the default cleaning policy.
Returns:
the default cleaning policy.
valueOf(String) 
def valueOf(String) : CleaningPolicy
valueOfCaseInsensitive(String) 
def valueOfCaseInsensitive(String) : CleaningPolicy
Parse the given case insensitive string for obtaining the cleaning policy.
Parameters:
name - the string to parse.
Returns:
the cleaning policy, or null if the string cannot be parsed.
values 
def values : CleaningPolicy