public class Includes
extends java.lang.Object
KeYFile
.
name2Source
maps the entries of both lists to the corresponding
RuleSources.Constructor and Description |
---|
Includes() |
Modifier and Type | Method and Description |
---|---|
RuleSource |
get(java.lang.String name)
returns the corresponding RuleSource to the filename
name |
java.util.List<java.io.File> |
getFiles() |
java.util.List<java.lang.String> |
getIncludes()
return the list of non-LDT includes
|
java.util.List<java.lang.String> |
getLDTIncludes()
return the list of LDT includes
|
java.util.Collection<RuleSource> |
getRuleSets() |
boolean |
isEmpty() |
void |
put(java.lang.String name,
RuleSource source)
adds a "normal" include.
|
void |
putAll(Includes in) |
void |
putLDT(java.lang.String name,
RuleSource source)
adds a LDT include.
|
void |
remove(java.lang.String name)
removes the filename
name and its mapping. |
public void put(java.lang.String name, RuleSource source)
public void putLDT(java.lang.String name, RuleSource source)
public RuleSource get(java.lang.String name)
name
public java.util.List<java.io.File> getFiles()
public void remove(java.lang.String name)
name
and its mapping.public java.util.List<java.lang.String> getIncludes()
public java.util.List<java.lang.String> getLDTIncludes()
public boolean isEmpty()
public void putAll(Includes in)
public java.util.Collection<RuleSource> getRuleSets()
Copyright © 2003-2019 The KeY-Project.