de.uka.ilkd.key.proof

Class TacletIndex.PrefixOccurrences

java.lang.Object

de.uka.ilkd.key.proof.TacletIndex.PrefixOccurrences

Enclosing class:

TacletIndex

private static class TacletIndex.PrefixOccurrences
extends java.lang.Object

Inner class to track the occurrences of prefix elements in java blocks

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static int[]	nextChild fields to indicate the position of the next relevant child (the next possible prefix element or real statement
private boolean[]	occurred field that marks iff the prefix elements have already occurred
(package private) static java.lang.Class<?>[]	prefixClasses the classes that represent prefix elements of a java block
(package private) static int	PREFIXTYPES number of prefix types

Constructor Summary

Constructors

Constructor and Description
PrefixOccurrences()

Method Summary

Modifier and Type	Method and Description
ImmutableList<NoPosTacletApp>	getList(java.util.HashMap<java.lang.Object,ImmutableList<NoPosTacletApp>> map) creates a selection of the given NoPosTacletApp map that comply with the occurred prefix elements
int	occurred(ProgramElement pe) notification that the given program element has occurred.
void	reset() resets the occurred field to 'nothing has occurred'

Methods inherited from class java.lang.Object

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

Field Detail

prefixClasses

static final java.lang.Class<?>[] prefixClasses

the classes that represent prefix elements of a java block

PREFIXTYPES

static final int PREFIXTYPES

number of prefix types

occurred

private final boolean[] occurred

field that marks iff the prefix elements have already occurred

nextChild

static final int[] nextChild

fields to indicate the position of the next relevant child (the next possible prefix element or real statement

Constructor Detail

PrefixOccurrences

PrefixOccurrences()

Method Detail

reset

public void reset()

resets the occurred field to 'nothing has occurred'

occurred

public int occurred(ProgramElement pe)

notification that the given program element has occurred. The occurred fields are subsequently set.

Parameters:

pe - the occurred program element

Returns:

the number of the next possible prefix element

getList

public ImmutableList<NoPosTacletApp> getList(java.util.HashMap<java.lang.Object,ImmutableList<NoPosTacletApp>> map)

creates a selection of the given NoPosTacletApp map that comply with the occurred prefix elements

Parameters:

map - a map to select from