Index

E F G I L M N P R S T V X
All Classes and Interfaces|All Packages

E

example - package example

ExternalRefinementsFor - Annotation Interface in liquidjava.specification

Annotation to create refinements for an external library.

F

from() - Element in annotation interface liquidjava.specification.StateRefinement

function1(int) - Static method in class example.Simple

G

getRefinement(Object) - Method in class liquidjava.utils.Processor

Ghost - Annotation Interface in liquidjava.specification

Annotation to create a ghost variable for a class.

GhostMultiple - Annotation Interface in liquidjava.specification

Annotation to allow the creation of multiple @Ghost

I

InducedRefinementsParser - Class in liquidjava.infer

InducedRefinementsParser() - Constructor for class liquidjava.infer.InducedRefinementsParser

L

liquidjava - package liquidjava

liquidjava.infer - package liquidjava.infer

liquidjava.specification - package liquidjava.specification

liquidjava.utils - package liquidjava.utils

M

main(String[]) - Static method in class example.NumericExample

main(String[]) - Static method in class liquidjava.Main

Main - Class in liquidjava

Main class for the Repair system

Main() - Constructor for class liquidjava.Main

N

NumericExample - Class in example

NumericExample() - Constructor for class example.NumericExample

P

parseRefinements(String) - Static method in class liquidjava.infer.InducedRefinementsParser

Prettify - Class in liquidjava.utils

Prettify() - Constructor for class liquidjava.utils.Prettify

Processor - Class in liquidjava.utils

Processor() - Constructor for class liquidjava.utils.Processor

R

Refinement - Annotation Interface in liquidjava.specification

Annotation to add a refinement to variables, class fields, method's parameters and method's return value e.g.

RefinementAlias - Annotation Interface in liquidjava.specification

Annotation to create a ghost variable for a class.

RefinementAliasMultiple - Annotation Interface in liquidjava.specification

Annotation to create a multiple Alias in a class

RefinementPredicate - Annotation Interface in liquidjava.specification

RefinementPredicateMultiple - Annotation Interface in liquidjava.specification

S

Simple - Class in example

Simple() - Constructor for class example.Simple

StateRefinement - Annotation Interface in liquidjava.specification

Annotation to create state transitions in a method.

StateRefinementMultiple - Annotation Interface in liquidjava.specification

Interface to allow multiple state refinements in a method.

StateSet - Annotation Interface in liquidjava.specification

Annotation to create the disjoint states in which class objects can be.

StateSets - Annotation Interface in liquidjava.specification

Interface to allow multiple StateSets in a class.

T

test(int, int) - Static method in class example.NumericExample

to() - Element in annotation interface liquidjava.specification.StateRefinement

ToSimple - Class in example

ToSimple() - Constructor for class example.ToSimple

V

value() - Element in annotation interface liquidjava.specification.ExternalRefinementsFor

The prefix of the external method

value() - Element in annotation interface liquidjava.specification.Ghost

value() - Element in annotation interface liquidjava.specification.GhostMultiple

value() - Element in annotation interface liquidjava.specification.Refinement

value() - Element in annotation interface liquidjava.specification.RefinementAlias

value() - Element in annotation interface liquidjava.specification.RefinementAliasMultiple

value() - Element in annotation interface liquidjava.specification.RefinementPredicate

value() - Element in annotation interface liquidjava.specification.RefinementPredicateMultiple

value() - Element in annotation interface liquidjava.specification.StateRefinementMultiple

value() - Element in annotation interface liquidjava.specification.StateSet

value() - Element in annotation interface liquidjava.specification.StateSets

X

x - Variable in class example.ToSimple

E F G I L M N P R S T V X
All Classes and Interfaces|All Packages