| /dports/devel/splint/splint-3.1.2/src/Headers/ |
| H A D | constraintList.h | 19 # define constraintList_undefined ((constraintList)NULL)
35 extern constraintList constraintList_addListFree (/*@returned@*/ constraintList, /*@only@*/ constra…
47 extern constraintList constraintList_add (/*@returned@*/ constraintList p_s, /*@only@*/ constraint …
49 …rn /*@only@*/ constraintList constraintList_addList (/*@only@*/ /*@returned@*/ constraintList p_s,…
52 extern constraintList constraintList_copy ( /*@observer@*/ /*@temp@*/ constraintList p_s) /*@*/ ;
62 extern /*@only@*/ constraintList
63 constraintList_logicalOr ( /*@observer@*/ constraintList p_l1, /*@observer@*/ constraintList p_l2);
65 extern constraintList constraintList_preserveOrig (/*@returned@*/ constraintList p_c);
73 extern constraintList constraintList_togglePost (/*@returned@*/ constraintList p_c) /*@modifies p_c…
86 extern constraintList constraintList_sort (/*@returned@*/ constraintList p_ret)
[all …]
|
| H A D | constraintResolve.h | 2 …@only@*/ constraintList constraintList_reflectChanges(/*@observer@*/ /*@temp@*/ constraintList p_p…
6 …ly@*/ extern constraintList constraintList_reflectChangesFreePre (/*@only@*/ constraintList p_pre2…
16 extern /*@only@*/ constraintList constraintList_fixConflicts (constraintList p_list1, constraintLis…
18 extern constraintList constraintList_subsumeEnsures (constraintList p_list1, constraintList p_list2…
20 extern constraintList constraintList_mergeEnsures (/*observer@*/ /*@temp@*/ constraintList p_list1,…
22 /*@only@*/ constraintList constraintList_mergeEnsuresFreeFirst (/*@only@*/ constraintList p_list1, …
27 …@only@*/ constraintList constraintList_mergeRequires (/*@observer@*/ /*@temp@*/ constraintList p_l…
29 /*@only@*/ constraintList constraintList_mergeRequiresFreeFirst (/*@only@*/constraintList p_list1,/…
33 constraintList constraintList_reflectChangesOr (constraintList p_pre2, constraintList p_post1);
35 /*@only@*/ constraintList constraintList_substitute (constraintList p_target, /*2observer@*/ constr…
[all …]
|
| H A D | constraintList2.h | 29 extern int constraintList_size (/*@sef@*/ constraintList);
32 extern bool constraintList_empty (/*@sef@*/ constraintList);
36 # define constraintList_isDefined(s) ((s) != (constraintList) 0)
38 extern /*@only@*/ constraintList constraintList_makeNew(void);
39 extern constraintList constraintList_push (/*@returned@*/ constraintList p_s,
45 extern void constraintList_reset (constraintList p_s)
47 extern void constraintList_finish (constraintList p_s)
49 extern void constraintList_advance (constraintList p_s)
55 extern /*@only@*/ cstring constraintList_unparse (constraintList p_s) ;
61 extern void constraintList_free (/*@only@*/ constraintList p_s) ;
[all …]
|
| H A D | functionConstraint.h | 20 /*@only@*/ constraintList buffer;
35 …oid functionConstraint_addBufferConstraints (functionConstraint p_node, /*@only@*/ constraintList)
44 functionConstraint_createBufferConstraint (/*@only@*/ constraintList) ;
55 extern /*@only@*/ constraintList functionConstraint_getBufferConstraints (functionConstraint) /*@*/…
|
| H A D | exprNode.h | 163 /*@notnull@*/ constraintList requiresConstraints;
164 /*@notnull@*/ constraintList ensuresConstraints;
171 /*@notnull@*/ constraintList trueEnsuresConstraints;
172 /*@notnull@*/ constraintList falseEnsuresConstraints;
|
| H A D | constraint.h | 116 extern /*@only@*/ constraintList
119 extern /*@only@*/ constraintList
|
| /dports/devel/splint/splint-3.1.2/src/ |
| H A D | constraintList.c | 56 constraintList s = (constraintList) dmalloc (sizeof (*s)); in constraintList_makeNew()
88 constraintList
147 constraintList constraintList_addListFree (/*@returned@*/ constraintList s, /*@only@*/ constraintLi… in constraintList_addListFree()
166 constraintList ret; in constraintList_removeSurpressed()
380 constraintList
384 constraintList ret; in constraintList_logicalOr()
450 constraintList
463 constraintList constraintList_preserveOrig (constraintList c) in constraintList_preserveOrig()
490 constraintList res; in constraintList_single()
511 constraintList ret; in constraintList_doFixResult()
[all …]
|
| H A D | constraintResolve.c | 55 static /*@only@*/ constraintList reflectChangesEnsuresFree1 (/*@only@*/ constraintList p_pre2, cons…
58 /*@only@*/ constraintList constraintList_mergeEnsuresFreeFirst (constraintList list1, constraintLis… in constraintList_mergeEnsuresFreeFirst()
60 constraintList ret; in constraintList_mergeEnsuresFreeFirst()
68 /*@only@*/ constraintList constraintList_mergeEnsures (constraintList list1, constraintList list2) in constraintList_mergeEnsures()
70 constraintList ret; in constraintList_mergeEnsures()
100 /*@only@*/ constraintList constraintList_mergeRequiresFreeFirst (/*@only@*/ constraintList list1, c… in constraintList_mergeRequiresFreeFirst()
111 /*@only@*/ constraintList constraintList_mergeRequires (constraintList list1, constraintList list2) in constraintList_mergeRequires()
224 /*@only@*/ constraintList constraintList_subsumeEnsures (constraintList list1, constraintList list2) in constraintList_subsumeEnsures()
568 /*@only@*/ constraintList constraintList_reflectChangesOr (constraintList pre2, constraintList post… in constraintList_reflectChangesOr()
597 static /*@only@*/ constraintList reflectChangesEnsures (/*@observer@*/ constraintList pre2, constra… in reflectChangesEnsures()
[all …]
|
| H A D | loopHeuristics.c | 72 static /*@only@*/ constraintList getLessThanConstraints (/*@observer@*/ constraintList c) in getLessThanConstraints()
74 constraintList ret; in getLessThanConstraints()
96 static /*@only@*/ constraintList getIncConstraints (/*@observer@*/ constraintList c) in getIncConstraints()
98 constraintList ret; in getIncConstraints()
187 constraintList ltCon; in getForTimes()
188 constraintList incCon; in getForTimes()
356 static constraintList constraintList_searchAndAdd (/*@returned@*/ constraintList list, in constraintList_searchAndAdd()
359 constraintList newConstraints; in constraintList_searchAndAdd()
360 constraintList ret; in constraintList_searchAndAdd()
|
| H A D | constraintGeneration.c | 142 constraintList c; in exprNode_generateConstraints()
309 constraintList temp; in doIf()
456 constraintList ret; in constraintList_makeFixedArrayConstraints()
504 constraintList c;
849 constraintList temp; in exprNode_multiStatement()
887 constraintList temp2; in exprNode_multiStatement()
1186 constraintList temp; in exprNode_exprTraverse()
1598 constraintList ret; in exprNode_traverseTrueEnsuresConstraints()
1734 constraintList ret; in exprNode_traverseFalseEnsuresConstraints()
1869 constraintList ret; in exprNode_traverseRequiresConstraints()
[all …]
|
| H A D | functionConstraint.c | 40 extern functionConstraint functionConstraint_createBufferConstraint (constraintList buf) in functionConstraint_createBufferConstraint()
88 extern constraintList functionConstraint_getBufferConstraints (functionConstraint node) in functionConstraint_getBufferConstraints()
223 void functionConstraint_addBufferConstraints (functionConstraint node, constraintList clist) in functionConstraint_addBufferConstraints()
225 constraintList temp; in functionConstraint_addBufferConstraints()
|
| H A D | functionClauseList.c | 180 constraintList c; in functionClauseList_setImplicitConstraints()
203 constraintList implCons = getImplicitFcnConstraints (); in functionClauseList_setImplicitConstraints()
231 constraintList implCons = getImplicitFcnConstraints (); in functionClauseList_setImplicitConstraints()
|
| /dports/databases/hsqldb/hsqldb-2.3.4/hsqldb/src/org/hsqldb/ |
| H A D | Table.java | 325 set.addAll(constraintList); in getComponents()
442 Constraint c = constraintList[j]; in getSQL()
476 Constraint c = constraintList[i]; in getSQL()
845 constraintList = in addConstraint()
940 Constraint c = constraintList[i]; in verifyConstraintsIntegrity()
970 return constraintList; in getConstraints()
1058 Constraint c = constraintList[i]; in getNotNullConstraintForColumn()
1074 Constraint c = constraintList[i]; in getUniqueConstraintForColumns()
1341 newList.toArray(tn.constraintList); in moveDefinition()
2094 : constraintList[i]; in getConstraint()
[all …]
|
| H A D | ParserTable.java | 557 constraintList.add(c);
800 HsqlArrayList constraintList) {
1078 constraintList.set(0, c);
1152 constraintList.set(0, c);
1181 constraintList.add(c);
1197 constraintList.add(c);
1215 constraintList.add(c);
1325 constraintList.add(c);
1342 constraintList.add(c);
1377 constraintList.add(c);
[all …]
|
| /dports/devel/dep/dep-0.5.4/vendor/github.com/Masterminds/semver/ |
| H A D | union.go | 86 type constraintList []realConstraint type
88 func (cl constraintList) Len() int {
92 func (cl constraintList) Swap(i, j int) {
96 func (cl constraintList) Less(i, j int) bool {
143 func (cl *constraintList) Push(x interface{}) {
147 func (cl *constraintList) Pop() interface{} {
|
| /dports/graphics/ossim/ossim-OrchidIsland-2.11.1/src/base/ |
| H A D | ossimStringProperty.cpp | 17 const std::vector<ossimString>& constraintList) in ossimStringProperty() argument
21 theConstraints(constraintList) in ossimStringProperty()
77 void ossimStringProperty::setConstraints(const std::vector<ossimString>& constraintList) in setConstraints() argument
79 theConstraints = constraintList; in setConstraints()
|
| /dports/databases/mariadb105-client/mariadb-10.5.15/storage/columnstore/columnstore/dbcon/ddlpackage/ |
| H A D | ddl-gram-win.cpp | 228 ddlpackage::ColumnConstraintList* constraintList; member
2460 …, (yyvsp[(3) - (5)].str), (yyvsp[(4) - (5)].columnType), (yyvsp[(5) - (5)].constraintList), NULL);;
2467 …, (yyvsp[(4) - (6)].str), (yyvsp[(5) - (6)].columnType), (yyvsp[(6) - (6)].constraintList), NULL);;
2663 …ef((yyvsp[(1) - (4)].str), (yyvsp[(2) - (4)].columnType), (yyvsp[(4) - (4)].constraintList), NULL);
2671 …sp[(1) - (5)].str), (yyvsp[(2) - (5)].columnType), (yyvsp[(5) - (5)].constraintList), (yyvsp[(4) -…
2695 …sp[(1) - (5)].str), (yyvsp[(2) - (5)].columnType), (yyvsp[(4) - (5)].constraintList), NULL, (yyvsp…
2711 …sp[(1) - (5)].str), (yyvsp[(2) - (5)].columnType), (yyvsp[(4) - (5)].constraintList), (yyvsp[(5) -…
2796 (yyval.constraintList) = new ColumnConstraintList();
2797 (yyval.constraintList)->push_back((yyvsp[(1) - (1)].columnConstraintDef));
2805 (yyval.constraintList) = (yyvsp[(1) - (2)].constraintList);
[all …]
|
| /dports/databases/mariadb105-server/mariadb-10.5.15/storage/columnstore/columnstore/dbcon/ddlpackage/ |
| H A D | ddl-gram-win.cpp | 228 ddlpackage::ColumnConstraintList* constraintList; member
2460 …, (yyvsp[(3) - (5)].str), (yyvsp[(4) - (5)].columnType), (yyvsp[(5) - (5)].constraintList), NULL);;
2467 …, (yyvsp[(4) - (6)].str), (yyvsp[(5) - (6)].columnType), (yyvsp[(6) - (6)].constraintList), NULL);;
2663 …ef((yyvsp[(1) - (4)].str), (yyvsp[(2) - (4)].columnType), (yyvsp[(4) - (4)].constraintList), NULL);
2671 …sp[(1) - (5)].str), (yyvsp[(2) - (5)].columnType), (yyvsp[(5) - (5)].constraintList), (yyvsp[(4) -…
2695 …sp[(1) - (5)].str), (yyvsp[(2) - (5)].columnType), (yyvsp[(4) - (5)].constraintList), NULL, (yyvsp…
2711 …sp[(1) - (5)].str), (yyvsp[(2) - (5)].columnType), (yyvsp[(4) - (5)].constraintList), (yyvsp[(5) -…
2796 (yyval.constraintList) = new ColumnConstraintList();
2797 (yyval.constraintList)->push_back((yyvsp[(1) - (1)].columnConstraintDef));
2805 (yyval.constraintList) = (yyvsp[(1) - (2)].constraintList);
[all …]
|
| /dports/graphics/ossim/ossim-OrchidIsland-2.11.1/src/imaging/ |
| H A D | ossimPixelFlipper.cpp | 1042 vector<ossimString> constraintList(5); in getProperty() local
1043 constraintList[0] = "REPLACE_BAND_IF_TARGET"; in getProperty()
1044 constraintList[1] = "REPLACE_BAND_IF_PARTIAL_TARGET"; in getProperty()
1046 constraintList[3] = "REPLACE_ONLY_FULL_TARGETS"; in getProperty()
1047 constraintList[4] = "REPLACE_ALL_BANDS_IF_ANY_TARGET"; in getProperty()
1053 constraintList); in getProperty()
1059 vector<ossimString> constraintList(3); in getProperty() local
1060 constraintList[0] = "none"; in getProperty()
1061 constraintList[1] = "bounding_rect"; in getProperty()
1062 constraintList[2] = "valid_vertices"; in getProperty()
[all …]
|
| H A D | ossimMaskFilter.cpp | 850 std::vector<ossimString> constraintList; in getProperty() local
851 constraintList.push_back(ossimString("select")); in getProperty()
852 constraintList.push_back(ossimString("invert")); in getProperty()
853 constraintList.push_back(ossimString("weighted")); in getProperty()
858 constraintList); in getProperty()
|
| H A D | ossimImageFileWriter.cpp | 1443 vector<ossimString> constraintList;
1444 constraintList.push_back(ossimString("default"));
1445 constraintList.push_back(ossimString("meters"));
1446 constraintList.push_back(ossimString("feet"));
1447 constraintList.push_back(ossimString("us_survey_feet"));
1452 constraintList);
|
| /dports/graphics/ossim/ossim-OrchidIsland-2.11.1/include/ossim/base/ |
| H A D | ossimStringProperty.h | 21 const std::vector<ossimString>& constraintList = std::vector<ossimString>());
48 void setConstraints(const std::vector<ossimString>& constraintList);
|
| /dports/java/bouncycastle15/crypto-169/tls/src/main/java/org/bouncycastle/jsse/provider/ |
| H A D | DisabledAlgorithmConstraints.java | 117 List<Constraint> constraintList = constraintsMap.get(algorithm); in addConstraint() local
118 if (null == constraintList) in addConstraint()
120 constraintList = new ArrayList<Constraint>(1); in addConstraint()
121 constraintsMap.put(algorithm, constraintList); in addConstraint()
124 constraintList.add(constraint); in addConstraint()
|
| /dports/lang/nx/nsf2.3.0/library/xotcl/library/lib/ |
| H A D | xodoc.xotcl | 296 set constraintList [MetadataToken sortTokenList [my constraintList]]
298 if {[llength $constraintList]>0} {
302 foreach c $constraintList {
314 foreach c [my set constraintList] {
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/sun/security/util/ |
| H A D | DisabledAlgorithmConstraints.java | 339 List<Constraint> constraintList = in Constraints() local
347 alias.toUpperCase(Locale.ENGLISH), constraintList); in Constraints() local
353 constraintList.add(new DisabledConstraint(algorithm)); in Constraints()
428 constraintList.add(c); in Constraints()
|