de.uka.ilkd.key.proof.init

Class Includes

java.lang.Object

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

public class Includes
extends java.lang.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 java.util.List<java.io.File>	files
private java.util.List<java.lang.String>	includes a list containing the "normal" includes, represented as Strings
private java.util.List<java.lang.String>	ldtIncludes a list containing the LDT includes, represented as Strings
private java.util.HashMap<java.lang.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(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
boolean	isEmpty()
void	put(java.lang.String name, RuleSource source) adds a "normal" include.
private void	put(java.lang.String name, RuleSource source, java.util.List<java.lang.String> list)
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.

Methods inherited from class java.lang.Object

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

Field Detail

includes

private final java.util.List<java.lang.String> includes

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

ldtIncludes

private final java.util.List<java.lang.String> ldtIncludes

a list containing the LDT includes, represented as Strings

name2Source

private final java.util.HashMap<java.lang.String,RuleSource> name2Source

contains mappings from filenames to RuleSources

files

private final java.util.List<java.io.File> files

Constructor Detail

Includes

public Includes()

Method Detail

put

private void put(java.lang.String name,
                 RuleSource source,
                 java.util.List<java.lang.String> list)

put

public void put(java.lang.String name,
                RuleSource source)

adds a "normal" include.

putLDT

public void putLDT(java.lang.String name,
                   RuleSource source)

adds a LDT include.

get

public RuleSource get(java.lang.String name)

returns the corresponding RuleSource to the filename name

getFiles

public java.util.List<java.io.File> getFiles()

remove

public void remove(java.lang.String name)

removes the filename name and its mapping.

getIncludes

public java.util.List<java.lang.String> getIncludes()

return the list of non-LDT includes

getLDTIncludes

public java.util.List<java.lang.String> getLDTIncludes()

return the list of LDT includes

isEmpty

public boolean isEmpty()

putAll

public void putAll(Includes in)