de.uka.ilkd.key.proof.init

Class Includes

java.lang.Object

de.uka.ilkd.key.proof.init.Includes

public class Includes
extends Object

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.

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
Includes()

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

includes

private final List<String> includes

a list containing the "normal" includes, represented as Strings

ldtIncludes

private final List<String> ldtIncludes

a list containing the LDT includes, represented as Strings

name2Source

private final HashMap<String,RuleSource> name2Source

contains mappings from filenames to RuleSources

files

private final List<File> files

Constructor Detail

Includes

public Includes()

Method Detail

put

private void put(String name,
                 RuleSource source,
                 List<String> list)

put

public void put(String name,
                RuleSource source)

adds a "normal" include.

putLDT

public void putLDT(String name,
                   RuleSource source)

adds a LDT include.

get

public RuleSource get(String name)

returns the corresponding RuleSource to the filename name

getFiles

public List<File> getFiles()

remove

public void remove(String name)

removes the filename name and its mapping.

getIncludes

public List<String> getIncludes()

return the list of non-LDT includes

getLDTIncludes

public List<String> getLDTIncludes()

return the list of LDT includes

isEmpty

public boolean isEmpty()

putAll

public void putAll(Includes in)