| /dports/games/xpuzzletama/xpuzzletama/ |
| H A D | xtama_move.c | 9 …if( ty2 >= 0 && ( net ? (int)(ty2/4)<19 : (int)(ty2/4)<12) ) map[ tx2 ][ (int)(ty2 / 4) ] = color2…
121 (*ty2) += ay * 4 ; in rolling()
134 (*ty2) += ay * 4 ; in rolling()
157 (*ty2) += ay * 4 ; in rolling()
176 *ty2 -1 >= 0 && !vmap( *tx2 , *ty2 - 1 )) { in tama_fall()
179 *ty2 -= 1 ; in tama_fall()
185 *ty2 -= 1 ; in tama_fall()
194 if ( *ty1 == 0 && *ty2 == 0 ) in tama_fall()
209 while ( !vmap( *tx2 , *ty2 - 1 ) && ( *ty2 - 1 ) >= 0 ) { in tama_fall()
210 *ty2 -= 1 ; in tama_fall()
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/purescript-cst-0.4.0.0/src/Language/PureScript/CST/Traversals/ |
| H A D | Type.hs | 19 TypeForall _ _ _ _ ty2 -> k ty `op` goTy ty2
20 TypeKinded _ ty2 _ ty3 -> k ty `op` (goTy ty2 `op` goTy ty3)
21 TypeApp _ ty2 ty3 -> k ty `op` (goTy ty2 `op` goTy ty3)
22 TypeOp _ ty2 _ ty3 -> k ty `op` (goTy ty2 `op` goTy ty3)
24 TypeArr _ ty2 _ ty3 -> k ty `op` (goTy ty2 `op` goTy ty3)
26 TypeConstrained _ (constraintTys -> ty2) _ ty3
27 | null ty2 -> k ty `op` goTy ty3
29 TypeParens _ (Wrapped _ ty2 _) -> k ty `op` goTy ty2
30 TypeUnaryRow _ _ ty2 -> k ty `op` goTy ty2
34 Row Nothing (Just (_, ty2)) -> k ty `op` goTy ty2
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter7/inferred/ |
| H A D | unifier.rkt | 21 (lambda (ty1 ty2 subst exp)
23 (ty2 (apply-subst-to-type ty2 subst)))
25 ((equal? ty1 ty2) subst)
27 (if (no-occurrence? ty1 ty2)
28 (extend-subst subst ty1 ty2)
30 ((tvar-type? ty2)
31 (if (no-occurrence? ty2 ty1)
32 (extend-subst subst ty2 ty1)
47 (lambda (ty1 ty2 exp)
51 (type-to-external-form ty2)
[all …]
|
| /dports/lang/ucc/ucc/ucl/ |
| H A D | type.c | 106 if (ty1 == ty2) in IsCompatibleType()
113 ty2 = Unqual(ty2); in IsCompatibleType()
116 ty2->categ == ENUM && ty1 == ty2->bty) in IsCompatibleType()
129 (ty1->size == ty2->size || ty1->size == 0 || ty2->size == 0); in IsCompatibleType()
135 return ty1 == ty2; in IsCompatibleType()
449 return ty2; in CompositeType()
503 ty2 = ty2->categ < INT ? T(INT) : ty2; in CommonRealType()
509 return ty1->categ > ty2->categ ? ty1 : ty2; in CommonRealType()
516 ty1 = ty2; in CommonRealType()
517 ty2 = ty; in CommonRealType()
[all …]
|
| H A D | type.h | 88 #define BothIntegType(ty1, ty2) (IsIntegType(ty1) && IsIntegType(ty2)) argument
89 #define BothArithType(ty1, ty2) (IsArithType(ty1) && IsArithType(ty2)) argument
90 #define BothScalarType(ty1, ty2) (IsScalarType(ty1) && IsScalarType(ty2)) argument
91 #define IsCompatiblePtr(ty1, ty2) (IsPtrType(ty1) && IsPtrType(ty2) && \ argument
92 IsCompatibleType(Unqual(ty1->bty), Unqual(ty2->bty)))
108 int IsCompatibleType(Type ty1, Type ty2);
109 Type CompositeType(Type ty1, Type ty2);
110 Type CommonRealType(Type ty1, Type ty2);
|
| H A D | exprchk.c | 510 Type ty1, ty2; in CheckAddOP() local
517 ty2 = expr->kids[1]->ty; in CheckAddOP()
519 if (BothArithType(ty1, ty2)) in CheckAddOP()
545 Type ty1, ty2; in CheckSubOP() local
548 ty2 = expr->kids[1]->ty; in CheckSubOP()
586 Type ty1, ty2; in CheckRelationalOP() local
590 ty2 = expr->kids[1]->ty; in CheckRelationalOP()
615 Type ty1, ty2; in CheckEqualityOP() local
619 ty2 = expr->kids[1]->ty; in CheckEqualityOP()
736 Type ty1, ty2; in CheckConditionalExpression() local
[all …]
|
| /dports/www/grafana8/grafana-8.3.6/vendor/github.com/apache/arrow/cpp/src/arrow/array/ |
| H A D | array_view_test.cc | 185 CheckViewFails(arr, ty2); in TEST()
193 CheckViewFails(arr, ty2); in TEST()
195 CheckViewFails(arr, ty2); in TEST()
196 ty2 = struct_({field("c", int8())}); in TEST()
197 CheckViewFails(arr, ty2); in TEST()
199 CheckViewFails(arr, ty2); in TEST()
224 ty2 = struct_({field("c", uint8())}); in TEST()
278 ty2 = struct_({field("a", uint8()), in TEST()
309 auto ty2 = fixed_size_list(uint16(), 3); in TEST() local
360 auto ty2 = fixed_size_binary(16); in TEST() local
[all …]
|
| /dports/databases/arrow/apache-arrow-6.0.1/cpp/src/arrow/array/ |
| H A D | array_view_test.cc | 185 CheckViewFails(arr, ty2); in TEST()
193 CheckViewFails(arr, ty2); in TEST()
195 CheckViewFails(arr, ty2); in TEST()
196 ty2 = struct_({field("c", int8())}); in TEST()
197 CheckViewFails(arr, ty2); in TEST()
199 CheckViewFails(arr, ty2); in TEST()
224 ty2 = struct_({field("c", uint8())}); in TEST()
278 ty2 = struct_({field("a", uint8()), in TEST()
309 auto ty2 = fixed_size_list(uint16(), 3); in TEST() local
360 auto ty2 = fixed_size_binary(16); in TEST() local
[all …]
|
| /dports/security/vault/vault-1.8.2/vendor/github.com/apache/arrow/cpp/src/arrow/ |
| H A D | array_view_test.cc | 179 CheckViewFails(arr, ty2); in TEST()
187 CheckViewFails(arr, ty2); in TEST()
189 CheckViewFails(arr, ty2); in TEST()
190 ty2 = struct_({field("c", int8())}); in TEST()
191 CheckViewFails(arr, ty2); in TEST()
193 CheckViewFails(arr, ty2); in TEST()
218 ty2 = struct_({field("c", uint8())}); in TEST()
272 ty2 = struct_({field("a", uint8()), in TEST()
303 auto ty2 = fixed_size_list(uint16(), 3); in TEST() local
360 auto ty2 = fixed_size_binary(16); in TEST() local
[all …]
|
| /dports/lang/nwcc/nwcc_0.8.3/ |
| H A D | abigen.c | 122 struct type *ty2; in make_type() local
125 ty2 = make_type(1); /* XXX memory leak */ in make_type()
131 = ty2; in make_type()
133 ty->struct_members_tail->next = ty2; in make_type()
134 ty->struct_members_tail = ty2; in make_type()
220 struct type *ty2; in gen_program() local
223 for (ty2 = ty->struct_members_head, index2 = 0; ty2 != NULL; ty2 = ty2->next, index2++) { in gen_program()
225 type_to_fmtstring(ty2), index, index2); in gen_program()
253 struct type *ty2; in gen_program() local
256 for (ty2 = ty->struct_members_head; ty2 != NULL; ty2 = ty2->next) { in gen_program()
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/TypeChecker/ |
| H A D | Subsumption.hs | 68 subsumes' SElaborate ty1 ty2
80 subsumes' mode replaced ty2
81 subsumes' mode ty1 (ForAll _ ident mbK ty2 sco) =
93 subsumes' mode (KindedType _ ty1 _) ty2 =
94 subsumes' mode ty1 ty2
95 subsumes' mode ty1 (KindedType _ ty2 _) =
96 subsumes' mode ty1 ty2
102 elaborate <- subsumes' SElaborate ty1 ty2
124 subsumes' mode ty2 ty1
125 subsumes' mode ty1 ty2 = do
[all …]
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcCanonical.hs | 1087 go ty1 ty2
1100 go ty1 ty2
1113 go ty1 ty2
1124 go ty1 ty2 = bale_out ty1 ty2
1127 bale_out ty1 ty2 = return $ Left (Pair ty1 ty2)
2400 go ty1 ty2 | Just ty1' <- tcView ty1 = go ty1' ty2
2401 go ty1 ty2 | Just ty2' <- tcView ty2 = go ty1 ty2'
2428 go ty1 ty2 = bale_out ty1 ty2
2451 go ty1 ty2 | Just ty1' <- tcView ty1 = go ty1' ty2
2452 go ty1 ty2 | Just ty2' <- tcView ty2 = go ty1 ty2'
[all …]
|
| /dports/x11-wm/plasma5-kwin/kwin-5.23.5/src/ |
| H A D | shadowitem.cpp | 159 ty2 = 0.0; in buildQuads() local
168 ty2 = topLeftRect.height(); in buildQuads()
181 ty2 = topRightRect.height(); in buildQuads()
194 ty2 = height; in buildQuads()
207 ty2 = height; in buildQuads()
240 ty2 = topRect.height(); in buildQuads()
244 topQuad[2] = WindowVertex(topRect.right(), topRect.bottom(), tx2, ty2); in buildQuads()
245 topQuad[3] = WindowVertex(topRect.left(), topRect.bottom(), tx1, ty2); in buildQuads()
253 ty2 = ty1 + right.height(); in buildQuads()
266 ty2 = height; in buildQuads()
[all …]
|
| /dports/math/abella/abella-2.0.7/src/ |
| H A D | unifyty.ml | 69 let rec aux (ty1, ty2) fail =
71 let ty2 = observe_ty ty2 in
72 match ty1, ty2 with
73 | _, _ when ty1 = ty2 -> ()
75 if occurs v ty2 then
78 bind_ty aty ty2
95 let eqns = List.map2 (fun ty1 ty2 -> (ty1,ty2)) args1 args2
97 List.iter begin fun (ty1, ty2) ->
98 aux (ty1, ty2) fail
101 aux (ty1, ty2) fail;
[all …]
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/java/awt/ |
| H A D | Rectangle.java | 824 long ty2 = ty1; ty2 += this.height; in intersection() local
830 if (ty2 > ry2) ty2 = ry2; in intersection()
832 ty2 -= ty1; in intersection()
837 if (ty2 < Integer.MIN_VALUE) ty2 = Integer.MIN_VALUE; in intersection()
884 ty2 += ty1; in union()
892 if (ty2 < ry2) ty2 = ry2; in union()
894 ty2 -= ty1; in union()
899 if (ty2 > Integer.MAX_VALUE) ty2 = Integer.MAX_VALUE; in union()
1022 ty2 += ty1; in add()
1030 if (ty2 < ry2) ty2 = ry2; in add()
[all …]
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.desktop/share/classes/java/awt/ |
| H A D | Rectangle.java | 824 long ty2 = ty1; ty2 += this.height; in intersection() local
830 if (ty2 > ry2) ty2 = ry2; in intersection()
832 ty2 -= ty1; in intersection()
837 if (ty2 < Integer.MIN_VALUE) ty2 = Integer.MIN_VALUE; in intersection()
884 ty2 += ty1; in union()
892 if (ty2 < ry2) ty2 = ry2; in union()
894 ty2 -= ty1; in union()
899 if (ty2 > Integer.MAX_VALUE) ty2 = Integer.MAX_VALUE; in union()
1022 ty2 += ty1; in add()
1030 if (ty2 < ry2) ty2 = ry2; in add()
[all …]
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/classes/java/awt/ |
| H A D | Rectangle.java | 824 long ty2 = ty1; ty2 += this.height; in intersection() local
830 if (ty2 > ry2) ty2 = ry2; in intersection()
832 ty2 -= ty1; in intersection()
837 if (ty2 < Integer.MIN_VALUE) ty2 = Integer.MIN_VALUE; in intersection()
884 ty2 += ty1; in union()
892 if (ty2 < ry2) ty2 = ry2; in union()
894 ty2 -= ty1; in union()
899 if (ty2 > Integer.MAX_VALUE) ty2 = Integer.MAX_VALUE; in union()
1022 ty2 += ty1; in add()
1030 if (ty2 < ry2) ty2 = ry2; in add()
[all …]
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/java/awt/ |
| H A D | Rectangle.java | 825 long ty2 = ty1; ty2 += this.height; in intersection() local
831 if (ty2 > ry2) ty2 = ry2; in intersection()
833 ty2 -= ty1; in intersection()
838 if (ty2 < Integer.MIN_VALUE) ty2 = Integer.MIN_VALUE; in intersection()
885 ty2 += ty1; in union()
893 if (ty2 < ry2) ty2 = ry2; in union()
895 ty2 -= ty1; in union()
900 if (ty2 > Integer.MAX_VALUE) ty2 = Integer.MAX_VALUE; in union()
1023 ty2 += ty1; in add()
1031 if (ty2 < ry2) ty2 = ry2; in add()
[all …]
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.desktop/share/classes/java/awt/ |
| H A D | Rectangle.java | 824 long ty2 = ty1; ty2 += this.height; in intersection() local
830 if (ty2 > ry2) ty2 = ry2; in intersection()
832 ty2 -= ty1; in intersection()
837 if (ty2 < Integer.MIN_VALUE) ty2 = Integer.MIN_VALUE; in intersection()
884 ty2 += ty1; in union()
892 if (ty2 < ry2) ty2 = ry2; in union()
894 ty2 -= ty1; in union()
899 if (ty2 > Integer.MAX_VALUE) ty2 = Integer.MAX_VALUE; in union()
1022 ty2 += ty1; in add()
1030 if (ty2 < ry2) ty2 = ry2; in add()
[all …]
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.desktop/share/classes/java/awt/ |
| H A D | Rectangle.java | 826 long ty2 = ty1; ty2 += this.height; in intersection() local
832 if (ty2 > ry2) ty2 = ry2; in intersection()
834 ty2 -= ty1; in intersection()
839 if (ty2 < Integer.MIN_VALUE) ty2 = Integer.MIN_VALUE; in intersection()
886 ty2 += ty1; in union()
894 if (ty2 < ry2) ty2 = ry2; in union()
896 ty2 -= ty1; in union()
901 if (ty2 > Integer.MAX_VALUE) ty2 = Integer.MAX_VALUE; in union()
1024 ty2 += ty1; in add()
1032 if (ty2 < ry2) ty2 = ry2; in add()
[all …]
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.desktop/share/classes/java/awt/ |
| H A D | Rectangle.java | 824 long ty2 = ty1; ty2 += this.height; in intersection() local
830 if (ty2 > ry2) ty2 = ry2; in intersection()
832 ty2 -= ty1; in intersection()
837 if (ty2 < Integer.MIN_VALUE) ty2 = Integer.MIN_VALUE; in intersection()
884 ty2 += ty1; in union()
892 if (ty2 < ry2) ty2 = ry2; in union()
894 ty2 -= ty1; in union()
899 if (ty2 > Integer.MAX_VALUE) ty2 = Integer.MAX_VALUE; in union()
1022 ty2 += ty1; in add()
1030 if (ty2 < ry2) ty2 = ry2; in add()
[all …]
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.desktop/share/classes/java/awt/ |
| H A D | Rectangle.java | 824 long ty2 = ty1; ty2 += this.height; in intersection() local
830 if (ty2 > ry2) ty2 = ry2; in intersection()
832 ty2 -= ty1; in intersection()
837 if (ty2 < Integer.MIN_VALUE) ty2 = Integer.MIN_VALUE; in intersection()
884 ty2 += ty1; in union()
892 if (ty2 < ry2) ty2 = ry2; in union()
894 ty2 -= ty1; in union()
899 if (ty2 > Integer.MAX_VALUE) ty2 = Integer.MAX_VALUE; in union()
1022 ty2 += ty1; in add()
1030 if (ty2 < ry2) ty2 = ry2; in add()
[all …]
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.desktop/share/classes/java/awt/ |
| H A D | Rectangle.java | 824 long ty2 = ty1; ty2 += this.height; in intersection() local
830 if (ty2 > ry2) ty2 = ry2; in intersection()
832 ty2 -= ty1; in intersection()
837 if (ty2 < Integer.MIN_VALUE) ty2 = Integer.MIN_VALUE; in intersection()
884 ty2 += ty1; in union()
892 if (ty2 < ry2) ty2 = ry2; in union()
894 ty2 -= ty1; in union()
899 if (ty2 > Integer.MAX_VALUE) ty2 = Integer.MAX_VALUE; in union()
1022 ty2 += ty1; in add()
1030 if (ty2 < ry2) ty2 = ry2; in add()
[all …]
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/java/awt/ |
| H A D | Rectangle.java | 825 long ty2 = ty1; ty2 += this.height; in intersection() local
831 if (ty2 > ry2) ty2 = ry2; in intersection()
833 ty2 -= ty1; in intersection()
838 if (ty2 < Integer.MIN_VALUE) ty2 = Integer.MIN_VALUE; in intersection()
885 ty2 += ty1; in union()
893 if (ty2 < ry2) ty2 = ry2; in union()
895 ty2 -= ty1; in union()
900 if (ty2 > Integer.MAX_VALUE) ty2 = Integer.MAX_VALUE; in union()
1023 ty2 += ty1; in add()
1031 if (ty2 < ry2) ty2 = ry2; in add()
[all …]
|
| /dports/graphics/gimp-app/gimp-2.10.30/app/gegl/ |
| H A D | gimp-gegl-mask.c | 39 gint tx1, tx2, ty1, ty2; in gimp_gegl_mask_bounds() local
53 ty2 = extent->y; in gimp_gegl_mask_bounds()
72 roi->y < ty1 || ey > ty2) in gimp_gegl_mask_bounds()
89 if (ey > ty2) ty2 = ey - 1; in gimp_gegl_mask_bounds()
128 if (y > ty2) ty2 = y; \ in gimp_gegl_mask_bounds()
190 if (y > ty2) ty2 = y; in gimp_gegl_mask_bounds()
206 ty2 = CLAMP (ty2 + 1, 0, gegl_buffer_get_height (buffer)); in gimp_gegl_mask_bounds()
222 *y2 = ty2; in gimp_gegl_mask_bounds()
|