TextualJMLDepends (KeY API Documentation)

```
public final class TextualJMLDepends
extends TextualJMLConstruct
```
A JML depends / accessible clause for a model field in textual form. Note that such clauses for *methods* are part of TextualJMLSpecCase.

Fields
Modifier and Type	Field and Description
`private Map<String,ImmutableList<PositionedString>>`	`depends`

Constructors
Constructor and Description
`TextualJMLDepends(ImmutableList<String> mods, PositionedString depends)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`equals(Object o)`
`ImmutableList<PositionedString>`	`getDepends()`
`ImmutableList<PositionedString>`	`getDepends(String hName)`
`int`	`hashCode()`
`String`	`toString()`

Methods inherited from class de.uka.ilkd.key.speclang.jml.pretranslation.TextualJMLConstruct
addGeneric, getApproxPosition, getMods, getSourceFileName, setPosition

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

private Map<String,ImmutableList<PositionedString>> depends

public TextualJMLDepends(ImmutableList<String> mods,
                         PositionedString depends)

public ImmutableList<PositionedString> getDepends()

public ImmutableList<PositionedString> getDepends(String hName)

Class TextualJMLDepends