public class Includes extends Object
KeYFile
.
name2Source
maps the entries of both lists to the corresponding
RuleSources.Modifier and Type | Field and Description |
---|---|
private List<File> |
files |
private List<String> |
includes
a list containing the "normal" includes, represented as Strings
|
private List<String> |
ldtIncludes
a list containing the LDT includes, represented as Strings
|
private HashMap<String,RuleSource> |
name2Source
contains mappings from filenames to RuleSources
|
Constructor and Description |
---|
Includes() |
Modifier and Type | Method and Description |
---|---|
RuleSource |
get(String name)
returns the corresponding RuleSource to the filename
name |
List<File> |
getFiles() |
List<String> |
getIncludes()
return the list of non-LDT includes
|
List<String> |
getLDTIncludes()
return the list of LDT includes
|
boolean |
isEmpty() |
void |
put(String name,
RuleSource source)
adds a "normal" include.
|
private void |
put(String name,
RuleSource source,
List<String> list) |
void |
putAll(Includes in) |
void |
putLDT(String name,
RuleSource source)
adds a LDT include.
|
void |
remove(String name)
removes the filename
name and its mapping. |
private final List<String> includes
private final List<String> ldtIncludes
private final HashMap<String,RuleSource> name2Source
private void put(String name, RuleSource source, List<String> list)
public void put(String name, RuleSource source)
public void putLDT(String name, RuleSource source)
public RuleSource get(String name)
name
public void remove(String name)
name
and its mapping.public boolean isEmpty()
public void putAll(Includes in)