Searched refs:sval (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dglobinits.c30 s_t sval = {.data2 = 3}, svalprime; variable
40 return sval.data1 + svalprime.data2;
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DGraph.java80 name=tok.sval;
84 vertexID=tok.sval;
88 dir=tok.sval;
104 ve1.setPath(tok.sval);
107 tn.insertNode(name,dir,tok.sval,ve1.getNumber(),unfoldDir);
119 ve2=findVertex(tok.sval);
122 ve2.setID(tok.sval);
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DGraph.java80 name=tok.sval;
84 vertexID=tok.sval;
88 dir=tok.sval;
104 ve1.setPath(tok.sval);
107 tn.insertNode(name,dir,tok.sval,ve1.getNumber(),unfoldDir);
119 ve2=findVertex(tok.sval);
122 ve2.setID(tok.sval);

Completed in 35 milliseconds