A C D E F G H I M N O P R S T U V W

W

warnIfNoTypestateInformation() - Static method in class de.unisaarland.cs.st.jerify.verifier.TSConfig

warnIfParametersUncheckedBecauseOfDifferentAmount() - Static method in class de.unisaarland.cs.st.jerify.verifier.TSConfig

warnNoPublicFieldAccess() - Static method in class de.unisaarland.cs.st.jerify.verifier.TSConfig

warnOnUnhandledAliasTracking() - Static method in class de.unisaarland.cs.st.jerify.verifier.TSConfig

without(ClassCFGAliasAnalysis) - Method in class de.unisaarland.cs.st.jerify.verifier.alias.ClassCFGAliasAnalysis

Returns all names (of variables) that are contained in this AliasAnalysis but not in the passed one and all names that are contained in both but with different AliasVarHandles (which mean that they represent different variables).