de.uka.ilkd.key.pp

Class AbbrevMap

java.lang.Object

de.uka.ilkd.key.pp.AbbrevMap

public class AbbrevMap
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AbbrevMap.AbbrevWrapper

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.HashMap<java.lang.String,AbbrevMap.AbbrevWrapper>	stringterm
protected java.util.HashMap<AbbrevMap.AbbrevWrapper,java.lang.Boolean>	termenabled
protected java.util.HashMap<AbbrevMap.AbbrevWrapper,java.lang.String>	termstring HashMaps used to store the mappings from Term to String, String to Term and Term to Enabled.

Constructor Summary

Constructors

Constructor and Description
AbbrevMap() Creates a AbbrevMap.

Method Summary

Modifier and Type	Method and Description
void	changeAbbrev(java.lang.String abbreviation, Term t, boolean enabled) Changes the abbreviation abbreviation to t.
void	changeAbbrev(Term t, java.lang.String abbreviation) Changes the abbreviation of t to abbreviation.
boolean	containsAbbreviation(java.lang.String s) Returns true if the map contains the abbreviation s.
boolean	containsTerm(Term t) Returns true if the map contains the term t.
java.lang.String	getAbbrev(Term t) Returns the abbreviation mapped to the term t.
Term	getTerm(java.lang.String s) Returns the term which is mapped to the abbreviation s, null if no term is mapped to the abbreviation.
boolean	isEnabled(Term t) Returns true if the mapping is enabled, which means that the abbreviation may be used.
void	put(Term t, java.lang.String abbreviation, boolean enabled) Associates a Term and its abbreviation in this map.
void	setEnabled(Term t, boolean enabled) Sets the mapping of the term t to its abbreviation enabled or disabled

Methods inherited from class java.lang.Object

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

Field Detail

termstring

protected java.util.HashMap<AbbrevMap.AbbrevWrapper,java.lang.String> termstring

HashMaps used to store the mappings from Term to String, String to Term and Term to Enabled. Enabled is set true if a abbreviation should be used when printing the term.

stringterm

protected java.util.HashMap<java.lang.String,AbbrevMap.AbbrevWrapper> stringterm

termenabled

protected java.util.HashMap<AbbrevMap.AbbrevWrapper,java.lang.Boolean> termenabled

Constructor Detail

AbbrevMap

public AbbrevMap()

Creates a AbbrevMap.

Method Detail

put

public void put(Term t,
                java.lang.String abbreviation,
                boolean enabled)
         throws AbbrevException

Associates a Term and its abbreviation in this map.

Parameters:

t - a term

abbreviation - the abbreviation for of this term

enabled - true if the abbreviation should be used (e.g. when printing the term), false otherwise.

Throws:

AbbrevException

changeAbbrev

public void changeAbbrev(Term t,
                         java.lang.String abbreviation)
                  throws AbbrevException

Changes the abbreviation of t to abbreviation. If the AbbrevMap doesn't contain t nothing happens.

Throws:

AbbrevException - if the abbreviation is already in use.

changeAbbrev

public void changeAbbrev(java.lang.String abbreviation,
                         Term t,
                         boolean enabled)
                  throws AbbrevException

Changes the abbreviation abbreviation to t. If the AbbrevMap doesn't contain abbreviation nothing happens.

Throws:

AbbrevException - If an abbreviation for t already exists.

containsAbbreviation

public boolean containsAbbreviation(java.lang.String s)

Returns true if the map contains the abbreviation s.

containsTerm

public boolean containsTerm(Term t)

Returns true if the map contains the term t.

getTerm

public Term getTerm(java.lang.String s)

Returns the term which is mapped to the abbreviation s, null if no term is mapped to the abbreviation.

getAbbrev

public java.lang.String getAbbrev(Term t)

Returns the abbreviation mapped to the term t. Returns null if no abbreviation is mapped to t.

isEnabled

public boolean isEnabled(Term t)

Returns true if the mapping is enabled, which means that the abbreviation may be used.

setEnabled

public void setEnabled(Term t,
                       boolean enabled)

Sets the mapping of the term t to its abbreviation enabled or disabled

Parameters:

t - a Term

enabled - true if the abbreviation of t may be used.