Uses of Class
ch.usi.si.codelounge.jsicko.plugin.ContractConditionEnum
-
Packages that use ContractConditionEnum Package Description ch.usi.si.codelounge.jsicko.plugin ch.usi.si.codelounge.jsicko.plugin.diagnostics -
-
Uses of ContractConditionEnum in ch.usi.si.codelounge.jsicko.plugin
Methods in ch.usi.si.codelounge.jsicko.plugin that return ContractConditionEnum Modifier and Type Method Description ContractConditionEnumConditionClause. getConditionType()Returns the condition type where the clause is used.static ContractConditionEnumContractConditionEnum. valueOf(String name)Returns the enum constant of this type with the specified name.static ContractConditionEnum[]ContractConditionEnum. values()Returns an array containing the constants of this enum type, in the order they are declared. -
Uses of ContractConditionEnum in ch.usi.si.codelounge.jsicko.plugin.diagnostics
Methods in ch.usi.si.codelounge.jsicko.plugin.diagnostics with parameters of type ContractConditionEnum Modifier and Type Method Description static JSickoDiagnostic.JSickoNoteJSickoDiagnostic. ConditionCheckNote(com.sun.tools.javac.code.Symbol.MethodSymbol sym, ContractConditionEnum conditionType, com.sun.tools.javac.util.List<com.sun.tools.javac.util.List<ConditionClause>> groupedClauses)
-