A B C D E F G H I J K L M N O P R S T U V W Z 
All Classes All Packages

A

addConditionGroup(Supplier<Optional<String>>...) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
 

B

booleanType() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
botType() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 

C

ch.usi.si.codelounge.jsicko - package ch.usi.si.codelounge.jsicko
 
ch.usi.si.codelounge.jsicko.plugin - package ch.usi.si.codelounge.jsicko.plugin
 
ch.usi.si.codelounge.jsicko.plugin.diagnostics - package ch.usi.si.codelounge.jsicko.plugin.diagnostics
 
ch.usi.si.codelounge.jsicko.plugin.utils - package ch.usi.si.codelounge.jsicko.plugin.utils
 
check() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
 
check(Object) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
 
ClauseIsNotBoolean(ConditionClause, Symbol.MethodSymbol) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
CloneUtils - Class in ch.usi.si.codelounge.jsicko.plugin.utils
Utility class for object cloning.
ConditionChecker - Class in ch.usi.si.codelounge.jsicko.plugin.utils
 
ConditionCheckNote(Symbol.MethodSymbol, ContractConditionEnum, List<List<ConditionClause>>) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
ConditionClause - Class in ch.usi.si.codelounge.jsicko.plugin
Represents a clause in a condition.
Constants - Class in ch.usi.si.codelounge.jsicko.plugin
Holds some constants needed for code generation.
containsKey(String) - Method in class ch.usi.si.codelounge.jsicko.plugin.OldValuesTable
Checks if a key has been stored in the table.
Contract - Interface in ch.usi.si.codelounge.jsicko
 
Contract.ContractConditionViolation - Error in ch.usi.si.codelounge.jsicko
Abstract class representing generic contract condition violations.
Contract.Ensures - Annotation Type in ch.usi.si.codelounge.jsicko
Declares the postconditions of a method.
Contract.Invariant - Annotation Type in ch.usi.si.codelounge.jsicko
Declares the method as specifying a class invariant.
Contract.InvariantViolation - Error in ch.usi.si.codelounge.jsicko
 
Contract.PostconditionViolation - Error in ch.usi.si.codelounge.jsicko
 
Contract.PreconditionViolation - Error in ch.usi.si.codelounge.jsicko
 
Contract.Pure - Annotation Type in ch.usi.si.codelounge.jsicko
Declares the method as pure, so that it can be used as a clause in contract annotations.
Contract.Requires - Annotation Type in ch.usi.si.codelounge.jsicko
Declares the preconditions of a method.
ContractCompilerTaskListener - Class in ch.usi.si.codelounge.jsicko.plugin
 
ContractCompilerTaskListener(JavacTask) - Constructor for class ch.usi.si.codelounge.jsicko.plugin.ContractCompilerTaskListener
 
ContractConditionEnum - Enum in ch.usi.si.codelounge.jsicko.plugin
 
ContractConditionViolation(Object) - Constructor for error ch.usi.si.codelounge.jsicko.Contract.ContractConditionViolation
Constructs an AssertionError with its detail message derived from the specified object, which is converted to a string as defined in section 15.18.1.1 of The Java™ Language Specification.
ContractInterfacesNote(Symbol.ClassSymbol, List<Type>) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
ContractUtils - Class in ch.usi.si.codelounge.jsicko
Utils to simplify the formulation of properties in contracts.
count(Collection<E>, Predicate<E>) - Static method in class ch.usi.si.codelounge.jsicko.ContractUtils
Counts the elements of a collection that satisfy a given predicate.
createInvariants(List<Symbol.MethodSymbol>, JavacUtils, JSickoContractCompilerState) - Static method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
Statically constructs a set of invariant clauses from annotated method symbols.

D

deriveMostGeneralExceptionTypeThrown(List<JCTree.JCExpression>) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
Given a list of exception types from a method throws declarations, derives the most general exception type thrown that can be safely rethrown according to Java's improved type checking analysis of rethrown exceptions.
disableObjects(Object...) - Static method in class ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
 

E

emptyOldValuesTable() - Method in interface ch.usi.si.codelounge.jsicko.Contract
 
emptyPreconditionChecker() - Method in interface ch.usi.si.codelounge.jsicko.Contract
 
enableObjects(Object...) - Static method in class ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
 
enter(String) - Method in class ch.usi.si.codelounge.jsicko.plugin.OldValuesTable
Enters a new scope for a given method.
Erroneous() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
exceptionType() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
exists(Collection<E>, Predicate<E>) - Static method in class ch.usi.si.codelounge.jsicko.ContractUtils
Represents an existential qualification over the elements of a collection.
existsInt(int, int, IntPredicate) - Static method in class ch.usi.si.codelounge.jsicko.ContractUtils
Represents an existential qualification over a finite set (i.e., a range) of integers.
Expression(Symbol.ModuleSymbol, String) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
Expression(Symbol.ModuleSymbol, String, String) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 

F

falseLiteral() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
findInvariants(JCTree.JCClassDecl) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
findOverriddenMethods(JCTree.JCClassDecl, JCTree.JCMethodDecl) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
finished(TaskEvent) - Method in class ch.usi.si.codelounge.jsicko.plugin.ContractCompilerTaskListener
 
forAll(Collection<E>, Predicate<E>) - Static method in class ch.usi.si.codelounge.jsicko.ContractUtils
Represents a universal qualification over the elements of a collection.
forAllInts(int, int, IntPredicate) - Static method in class ch.usi.si.codelounge.jsicko.ContractUtils
Represents a universal qualification over a finite set (i.e., a range) of integers.
freshObjectTypeVar(Symbol) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
from(Contract.Ensures, Symbol, JavacUtils, JSickoContractCompilerState) - Static method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
Statically constructs clauses from a set of ensures annotations.
from(Contract.Requires, Symbol, JavacUtils, JSickoContractCompilerState) - Static method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
Statically constructs clauses from a set of requires annotations.

G

getArity() - Method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
 
getAssertionErrorSpecificClass() - Method in enum ch.usi.si.codelounge.jsicko.plugin.ContractConditionEnum
 
getClauseRep() - Method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
Returns the clause representation.
getConditionType() - Method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
Returns the condition type where the clause is used.
getFactory() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
getJavaUtilCollectionIteratorMethodSymbol() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
getMethodName() - Method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
Returns the name of the clause method.
getName() - Method in class ch.usi.si.codelounge.jsicko.plugin.JSickoContractCompiler
Returns the name of the plugin.
getResolvedClauseRepWithNames() - Method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
Returns the clause representation with explicit param names.
getValue(String) - Method in class ch.usi.si.codelounge.jsicko.plugin.OldValuesTable
Gets the value hold by the table in the current scope for a given key.

H

hasVoidReturnType(JCTree.JCMethodDecl) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 

I

iff - Static variable in class ch.usi.si.codelounge.jsicko.ContractUtils
Logical Equality as a binary operator.
iff(boolean, boolean) - Static method in class ch.usi.si.codelounge.jsicko.ContractUtils
Represents logical equality (if and only if), also called biconditional.
implies - Static variable in class ch.usi.si.codelounge.jsicko.ContractUtils
Implication as a binary operator.
implies(boolean, boolean) - Static method in class ch.usi.si.codelounge.jsicko.ContractUtils
Deprecated.
this method does not (obviously) short-circuit the consequent. Use ContractUtils.implies(boolean, BooleanSupplier) instead.
implies(boolean, BooleanSupplier) - Static method in class ch.usi.si.codelounge.jsicko.ContractUtils
Represents boolean implication.
implies(boolean, BooleanSupplier, BooleanSupplier) - Static method in class ch.usi.si.codelounge.jsicko.ContractUtils
Represents a boolean implication with an else condition.
IncompatibleClause(ConditionClause, boolean, Name) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
init(JavacTask, String...) - Method in class ch.usi.si.codelounge.jsicko.plugin.JSickoContractCompiler
 
INSTANCE_OLD_METHOD_IDENTIFIER_STRING - Static variable in class ch.usi.si.codelounge.jsicko.plugin.Constants
The name of the method called to retrieve old values in instance method calls.
instanceOld(String, X) - Method in interface ch.usi.si.codelounge.jsicko.Contract
 
InstrumentedClassNote(JCTree.JCClassDecl) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
InstrumentedMethodNote(JCTree.JCMethodDecl) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
INVARIANT - ch.usi.si.codelounge.jsicko.plugin.ContractConditionEnum
 
InvariantHasNonZeroArity(JCTree.JCMethodDecl) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
InvariantIsNotBoolean(JCTree.JCMethodDecl) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
InvariantIsStatic(JCTree.JCMethodDecl) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
InvariantViolation(Object) - Constructor for error ch.usi.si.codelounge.jsicko.Contract.InvariantViolation
Constructs an AssertionError with its detail message derived from the specified object, which is converted to a string as defined in section 15.18.1.1 of The Java™ Language Specification.
isClauseMethodStatic() - Method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
 
isNegated() - Method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
Returns true iff the clause is negated.
isResolved() - Method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
Returns true iff the clause method is resolved.
isSorted(Collection<T>) - Static method in class ch.usi.si.codelounge.jsicko.ContractUtils
Checks if a given collection is sorted.
isSuperOrThisConstructorCall(JCTree.JCStatement) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
isTypeAssignable(Symbol.VarSymbol, Symbol.VarSymbol) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
isTypeAssignable(Type, Type) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
isUniversallyEnabled() - Static method in class ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
 

J

javaBaseModule() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
JavacUtils - Class in ch.usi.si.codelounge.jsicko.plugin.utils
 
JavacUtils(BasicJavacTask) - Constructor for class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
jcError() - Method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic.JSickoError
 
jcNote() - Method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic.JSickoNote
 
jcWarning() - Method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic.JSickoWarning
 
JSickoContractCompiler - Class in ch.usi.si.codelounge.jsicko.plugin
The main entry point for jSicko, that is, the implementation of the javac compiler.
JSickoContractCompiler() - Constructor for class ch.usi.si.codelounge.jsicko.plugin.JSickoContractCompiler
Constructs the contract compiler.
JSickoDiagnostic - Class in ch.usi.si.codelounge.jsicko.plugin.diagnostics
Holder for JSicko Diagnostic classes and utility methods.
JSickoDiagnostic() - Constructor for class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
JSickoDiagnostic.JSickoError - Class in ch.usi.si.codelounge.jsicko.plugin.diagnostics
A JSicko error.
JSickoDiagnostic.JSickoNote - Class in ch.usi.si.codelounge.jsicko.plugin.diagnostics
A JSicko note.
JSickoDiagnostic.JSickoWarning - Class in ch.usi.si.codelounge.jsicko.plugin.diagnostics
A JSicko warning.

K

KRYO_CLONE_METHOD_QUALIFIED_IDENTIFIER - Static variable in class ch.usi.si.codelounge.jsicko.plugin.Constants
The name of the method called to clone objects with Kryo.
kryoClone(E) - Static method in class ch.usi.si.codelounge.jsicko.plugin.utils.CloneUtils
Clones the provided object by using Kryo.

L

leave() - Method in class ch.usi.si.codelounge.jsicko.plugin.OldValuesTable
Leaves the current scope.
logError(JavaFileObject, JCDiagnostic.DiagnosticPosition, JSickoDiagnostic.JSickoError) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
logNote(JavaFileObject, JCDiagnostic.DiagnosticPosition, JSickoDiagnostic.JSickoNote) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
logWarning(JCDiagnostic.DiagnosticPosition, JSickoDiagnostic.JSickoWarning) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 

M

MethodCall(Symbol.ModuleSymbol, JCTree.JCExpression, Name) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
MethodCall(Symbol.ModuleSymbol, JCTree.JCExpression, Name, List<JCTree.JCExpression>) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
MethodInvocation(Symbol.ModuleSymbol, JCTree.JCExpression, Name) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
MethodInvocation(Symbol.ModuleSymbol, JCTree.JCExpression, Name, List<JCTree.JCExpression>) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
MissingClause(ConditionClause) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
Generates a JSicko missing clause error.
MissingParamName(Name, ConditionClause) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 

N

Name(String) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
NAME - Static variable in class ch.usi.si.codelounge.jsicko.plugin.JSickoContractCompiler
 
newInvariantChecker() - Static method in class ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
 
newPostconditionChecker() - Static method in class ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
 
newPreconditionChecker() - Static method in class ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
 
nullLiteral() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 

O

objectType() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
old(T) - Static method in interface ch.usi.si.codelounge.jsicko.Contract
 
OLD_FIELD_IDENTIFIER_STRING - Static variable in class ch.usi.si.codelounge.jsicko.plugin.Constants
The name of the synthetic instance field used to store the old values table for instance method calls.
OldValuesTable - Class in ch.usi.si.codelounge.jsicko.plugin
A symbol table-like data structure used to hold old values, needed to support internal/recursive method calls.
OldValuesTable() - Constructor for class ch.usi.si.codelounge.jsicko.plugin.OldValuesTable
Creates a new empty table.
oldValuesTableClassType() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
oldValuesTableTypeExpression() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
OverriddenOldMethodNote(JCTree.JCMethodDecl) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 

P

POSTCONDITION - ch.usi.si.codelounge.jsicko.plugin.ContractConditionEnum
 
PostconditionViolation(Object) - Constructor for error ch.usi.si.codelounge.jsicko.Contract.PostconditionViolation
Constructs an AssertionError with its detail message derived from the specified object, which is converted to a string as defined in section 15.18.1.1 of The Java™ Language Specification.
PRECONDITION - ch.usi.si.codelounge.jsicko.plugin.ContractConditionEnum
 
preconditionCheckerType() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
PreconditionViolation(Object) - Constructor for error ch.usi.si.codelounge.jsicko.Contract.PreconditionViolation
Constructs an AssertionError with its detail message derived from the specified object, which is converted to a string as defined in section 15.18.1.1 of The Java™ Language Specification.
pure() - Method in interface ch.usi.si.codelounge.jsicko.Contract
 
putValue(String, Object) - Method in class ch.usi.si.codelounge.jsicko.plugin.OldValuesTable
Adds a key-value pair in the current scope.

R

RAISES_CLAUSE_PARAMETER_IDENTIFIER_STRING - Static variable in class ch.usi.si.codelounge.jsicko.plugin.Constants
A special identifier to be used in clause methods to refer to the exception value raised/thrown by a method.
RAISES_SYNTHETIC_IDENTIFIER_STRING - Static variable in class ch.usi.si.codelounge.jsicko.plugin.Constants
The synthetic local variable for the variable holding the raised exception value in an instrumented method.
RaisesOnPrecondition(ConditionClause) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
retrieveConstructor(Symbol.ModuleSymbol, String) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
retrieveConstructor(Symbol.ModuleSymbol, String, Type...) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
retrieveEmptyConstructor(Symbol.ModuleSymbol, String) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
retrieveMemberFromClassByName(Symbol.ModuleSymbol, String, String) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
retrieveType(Symbol.ModuleSymbol, String) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
RETURNS_CLAUSE_PARAMETER_IDENTIFIER_STRING - Static variable in class ch.usi.si.codelounge.jsicko.plugin.Constants
A special identifier to be used in clause methods to refer to the value returned by a method.
RETURNS_SYNTHETIC_IDENTIFIER_STRING - Static variable in class ch.usi.si.codelounge.jsicko.plugin.Constants
The synthetic local variable for the variable holding the return value in an instrumented method.
ReturnsOnPrecondition(ConditionClause) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
ReturnsOnVoidMethod(ConditionClause) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 
runtimeExceptionType() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 

S

setOperator(JCTree.JCBinary) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
setOperator(JCTree.JCUnary) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
STATIC_OLD_FIELD_IDENTIFIER_STRING - Static variable in class ch.usi.si.codelounge.jsicko.plugin.Constants
The name of the synthetic static field used to store the old values table for static method calls.
STATIC_OLD_METHOD_IDENTIFIER_STRING - Static variable in class ch.usi.si.codelounge.jsicko.plugin.Constants
The name of the method called to retrieve old values in static method calls.
staticOld(Class<? extends Contract>, String, X) - Static method in interface ch.usi.si.codelounge.jsicko.Contract
 
stringType() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 

T

throwableType() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
THROWN_SYNTHETIC_IDENTIFIER_STRING - Static variable in class ch.usi.si.codelounge.jsicko.plugin.Constants
The synthetic variable for the captured exception in the try-catch-finally block that implements the semantics of contract checking.
toString() - Method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
 
Type(Type) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
typeClosure(Type) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
typeErasure(Type) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 

U

universallyDisable() - Static method in class ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
 
universallyEnable() - Static method in class ch.usi.si.codelounge.jsicko.plugin.utils.ConditionChecker
 
unnamedModule() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 

V

value() - Method in annotation type ch.usi.si.codelounge.jsicko.Contract.Ensures
 
value() - Method in annotation type ch.usi.si.codelounge.jsicko.Contract.Requires
 
valueOf(String) - Static method in enum ch.usi.si.codelounge.jsicko.plugin.ContractConditionEnum
Returns the enum constant of this type with the specified name.
values() - Static method in enum ch.usi.si.codelounge.jsicko.plugin.ContractConditionEnum
Returns an array containing the constants of this enum type, in the order they are declared.
violationConstructor() - Method in enum ch.usi.si.codelounge.jsicko.plugin.ContractConditionEnum
 
visitLambda(JCTree.JCLambda) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
voidType() - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 

W

WrongParamType(Name, Type, Type, ConditionClause) - Static method in class ch.usi.si.codelounge.jsicko.plugin.diagnostics.JSickoDiagnostic
 

Z

zeroType(Type) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
zeroValue(Type) - Method in class ch.usi.si.codelounge.jsicko.plugin.utils.JavacUtils
 
A B C D E F G H I J K L M N O P R S T U V W Z 
All Classes All Packages