Searched defs:antecedent (Results 1 – 8 of 8) sorted by relevance
32 String[] antecedent = ContractUtils.getAntecedent("->_", tree, analysis, state, symbol, 0); in getEmptyAntecedent() local
123 String[] antecedent = in onCFGBuildPhase1AfterVisitMethodInvocation() local190 String[] antecedent = in onDataflowVisitMethodInvocation() local
50 String[] antecedent = parts[0].split(","); in getInitialStore() local
75 String[] antecedent = in onMatchMethod() local
89 String[] antecedent = parts[0].trim().isEmpty() ? new String[0] : parts[0].split(","); in getAntecedent() local
117 void AddDirectAntecedent(PartialSubgraph* antecedent) in AddDirectAntecedent()152 bool HasAntecedent(PartialSubgraph* antecedent) in HasAntecedent()
63 @CheckForNull private Throwable antecedent; field in FuturesGetCheckedInputs.ExceptionWithManyConstructorsButOnlyOneThrowable78 public ExceptionWithManyConstructorsButOnlyOneThrowable(String message, Throwable antecedent) { in ExceptionWithManyConstructorsButOnlyOneThrowable()