TextualJMLDepends (KeY API Documentation)

java.lang.Object
- de.uka.ilkd.key.speclang.jml.pretranslation.TextualJMLConstruct
- - de.uka.ilkd.key.speclang.jml.pretranslation.TextualJMLDepends

```
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 java.util.Map<java.lang.String,ImmutableList<PositionedString>>`	`depends`

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

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

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

private java.util.Map<java.lang.String,ImmutableList<PositionedString>> depends

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

public ImmutableList<PositionedString> getDepends()

public ImmutableList<PositionedString> getDepends(java.lang.String hName)

Class TextualJMLDepends