InstantiationFileHandler (KeY API Documentation)

public class InstantiationFileHandler
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`private static java.util.HashMap<java.lang.String,java.util.List<java.util.List<java.lang.String>>>`	`hm`
`private static java.lang.String`	`INSTANTIATION_DIR`
`private static java.lang.String`	`LINE_END`
`private static int`	`SAVE_COUNT`
`private static java.lang.String`	`SEPARATOR1`
`private static java.lang.String`	`SEPARATOR2`

Constructors
Constructor and Description
`InstantiationFileHandler()`

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`private static void`	`createHashMap()`
`private static void`	`createListFor(Taclet taclet)`
`static java.util.List<java.util.List<java.lang.String>>`	`getInstantiationListsFor(Taclet taclet)`
`static boolean`	`hasInstantiationListsFor(Taclet taclet)`
`static void`	`saveListFor(TacletInstantiationModel model)`

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

private static final java.lang.String INSTANTIATION_DIR

private static final java.lang.String SEPARATOR1

private static final java.lang.String SEPARATOR2

private static final java.lang.String LINE_END

private static java.util.HashMap<java.lang.String,java.util.List<java.util.List<java.lang.String>>> hm

Constructor Detail
- InstantiationFileHandler
```
public InstantiationFileHandler()
```

public static boolean hasInstantiationListsFor(Taclet taclet)

public static java.util.List<java.util.List<java.lang.String>> getInstantiationListsFor(Taclet taclet)

private static void createListFor(Taclet taclet)

public static void saveListFor(TacletInstantiationModel model)

Class InstantiationFileHandler