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
All Classes All Packages
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
trueiff the clause is negated. - isResolved() - Method in class ch.usi.si.codelounge.jsicko.plugin.ConditionClause
-
Returns
trueiff 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
All Classes All Packages