Home
last modified time | relevance | path

Searched refs:SA_CHANGED (Results 1 – 4 of 4) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/Headers/
H A DstateInfo.h20 SA_CHANGED, enumerator
/dports/devel/splint/splint-3.1.2/src/
H A DstateValue.c104 s->info = stateInfo_updateLoc (s->info, SA_CHANGED, loc); in stateValue_updateValueLoc()
H A DstateInfo.c418 case SA_CHANGED: return cstring_makeLiteralTemp ("changed"); in stateAction_unparse()
H A DsRef.c9927 stateInfo_makeLoc (loc, SA_CHANGED))); in sRef_setMetaStateValue()
9937 stateInfo_makeLoc (loc, SA_CHANGED))); in sRef_setMetaStateValue()
9943 stateValue_create (value, stateInfo_makeLoc (loc, SA_CHANGED))); in sRef_setMetaStateValue()