Searched refs:uentry_getStateClauseList (Results 1 – 6 of 6) sorted by relevance
243 stateClauseList clauses = uentry_getStateClauseList (ue); in stateClauseList_checkAll()418 stateClauseList oldClauses = uentry_getStateClauseList (old); in stateClauseList_checkEqual()419 stateClauseList newClauses = uentry_getStateClauseList (unew); in stateClauseList_checkEqual()
1644 stateClauseList clauses = uentry_getStateClauseList (fcn); in transferChecks_return()1789 stateClauseList clauses = uentry_getStateClauseList (ue); in checkPassstateClauseList()
3254 stateClauseList_unparse (uentry_getStateClauseList (le)))); in reflectEnsuresClause()3258 stateClauseList sclauses = uentry_getStateClauseList (le); in reflectEnsuresClause()3602 stateClauseList_unparse (uentry_getStateClauseList (le)))); in checkRequiresClause()3606 stateClauseList sclauses = uentry_getStateClauseList (le); in checkRequiresClause()
2290 stateClauseList clauses = uentry_getStateClauseList (fcn); in usymtab_handleParams()4182 stateClauseList clauses = uentry_getStateClauseList (fcn); in usymtab_checkFinalScope()
4512 stateClauseList uentry_getStateClauseList (uentry ue) in uentry_getStateClauseList() function10811 stateClauseList clauses = uentry_getStateClauseList (u); in uentry_returnedRef()
365 extern /*@observer@*/ stateClauseList uentry_getStateClauseList (uentry p_ue) /*@*/ ;