| java.lang.Object de.uka.ilkd.key.proof.init.Includes
Includes | public class Includes (Code) | | Encapsulates 2 lists (one for LDT-include, one for "normal" includes)
containing the filenames parsed in the include-section of a KeYFile .
name2Source maps the entries of both lists to the corresponding
RuleSources.
|
Includes | public Includes()(Code) | | |
getIncludes | public List getIncludes()(Code) | | return the list of non-LDT includes
|
getLDTIncludes | public List getLDTIncludes()(Code) | | return the list of LDT includes
|
isEmpty | public boolean isEmpty()(Code) | | |
remove | public void remove(String name)(Code) | | removes the filename name and its mapping.
|
|
|