Home
last modified time | relevance | path

Searched refs:testEquality (Results 1 – 25 of 370) sorted by relevance

12345678910>>...15

/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/unittests/StaticAnalyzer/
H A DReusables.h74 void testEquality(SourceLocation L, SourceManager &SM) const { in testEquality() function
84 void testEquality(SourceRange R, SourceManager &SM) const { in testEquality() function
85 Begin.testEquality(R.getBegin(), SM); in testEquality()
86 End.testEquality(R.getEnd(), SM); in testEquality()
95 void testEquality(const PathDiagnosticPiece &Piece, SourceManager &SM) { in testEquality() function
96 Loc.testEquality(Piece.getLocation().asLocation(), SM); in testEquality()
100 Ranges[RangeItem.index()].testEquality(RangeItem.value(), SM); in testEquality()
113 void testEquality(const PathDiagnostic &Diag, SourceManager &SM) { in testEquality() function
114 Loc.testEquality(Diag.getLocation().asLocation(), SM); in testEquality()
124 Path[PieceItem.index()].testEquality(*PieceItem.value(), SM); in testEquality()
[all …]
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/unittests/StaticAnalyzer/
H A DReusables.h74 void testEquality(SourceLocation L, SourceManager &SM) const { in testEquality() function
84 void testEquality(SourceRange R, SourceManager &SM) const { in testEquality() function
85 Begin.testEquality(R.getBegin(), SM); in testEquality()
86 End.testEquality(R.getEnd(), SM); in testEquality()
95 void testEquality(const PathDiagnosticPiece &Piece, SourceManager &SM) { in testEquality() function
96 Loc.testEquality(Piece.getLocation().asLocation(), SM); in testEquality()
100 Ranges[RangeItem.index()].testEquality(RangeItem.value(), SM); in testEquality()
113 void testEquality(const PathDiagnostic &Diag, SourceManager &SM) { in testEquality() function
114 Loc.testEquality(Diag.getLocation().asLocation(), SM); in testEquality()
124 Path[PieceItem.index()].testEquality(*PieceItem.value(), SM); in testEquality()
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/unittests/StaticAnalyzer/
H A DReusables.h74 void testEquality(SourceLocation L, SourceManager &SM) const { in testEquality() function
84 void testEquality(SourceRange R, SourceManager &SM) const { in testEquality() function
85 Begin.testEquality(R.getBegin(), SM); in testEquality()
86 End.testEquality(R.getEnd(), SM); in testEquality()
95 void testEquality(const PathDiagnosticPiece &Piece, SourceManager &SM) { in testEquality() function
96 Loc.testEquality(Piece.getLocation().asLocation(), SM); in testEquality()
100 Ranges[RangeItem.index()].testEquality(RangeItem.value(), SM); in testEquality()
113 void testEquality(const PathDiagnostic &Diag, SourceManager &SM) { in testEquality() function
114 Loc.testEquality(Diag.getLocation().asLocation(), SM); in testEquality()
124 Path[PieceItem.index()].testEquality(*PieceItem.value(), SM); in testEquality()
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/unittests/StaticAnalyzer/
H A DReusables.h74 void testEquality(SourceLocation L, SourceManager &SM) const { in testEquality() function
84 void testEquality(SourceRange R, SourceManager &SM) const { in testEquality() function
85 Begin.testEquality(R.getBegin(), SM); in testEquality()
86 End.testEquality(R.getEnd(), SM); in testEquality()
95 void testEquality(const PathDiagnosticPiece &Piece, SourceManager &SM) { in testEquality() function
96 Loc.testEquality(Piece.getLocation().asLocation(), SM); in testEquality()
100 Ranges[RangeItem.index()].testEquality(RangeItem.value(), SM); in testEquality()
113 void testEquality(const PathDiagnostic &Diag, SourceManager &SM) { in testEquality() function
114 Loc.testEquality(Diag.getLocation().asLocation(), SM); in testEquality()
124 Path[PieceItem.index()].testEquality(*PieceItem.value(), SM); in testEquality()
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/unittests/StaticAnalyzer/
H A DReusables.h74 void testEquality(SourceLocation L, SourceManager &SM) const { in testEquality() function
84 void testEquality(SourceRange R, SourceManager &SM) const { in testEquality() function
85 Begin.testEquality(R.getBegin(), SM); in testEquality()
86 End.testEquality(R.getEnd(), SM); in testEquality()
95 void testEquality(const PathDiagnosticPiece &Piece, SourceManager &SM) { in testEquality() function
96 Loc.testEquality(Piece.getLocation().asLocation(), SM); in testEquality()
100 Ranges[RangeItem.index()].testEquality(RangeItem.value(), SM); in testEquality()
113 void testEquality(const PathDiagnostic &Diag, SourceManager &SM) { in testEquality() function
114 Loc.testEquality(Diag.getLocation().asLocation(), SM); in testEquality()
124 Path[PieceItem.index()].testEquality(*PieceItem.value(), SM); in testEquality()
[all …]
/dports/lang/clang-mesa/clang-13.0.1.src/unittests/StaticAnalyzer/
H A DReusables.h74 void testEquality(SourceLocation L, SourceManager &SM) const { in testEquality() function
84 void testEquality(SourceRange R, SourceManager &SM) const { in testEquality() function
85 Begin.testEquality(R.getBegin(), SM); in testEquality()
86 End.testEquality(R.getEnd(), SM); in testEquality()
95 void testEquality(const PathDiagnosticPiece &Piece, SourceManager &SM) { in testEquality() function
96 Loc.testEquality(Piece.getLocation().asLocation(), SM); in testEquality()
100 Ranges[RangeItem.index()].testEquality(RangeItem.value(), SM); in testEquality()
113 void testEquality(const PathDiagnostic &Diag, SourceManager &SM) { in testEquality() function
114 Loc.testEquality(Diag.getLocation().asLocation(), SM); in testEquality()
124 Path[PieceItem.index()].testEquality(*PieceItem.value(), SM); in testEquality()
[all …]
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/java/lang/annotation/
H A DEqualityTest.java44 testEquality(annotation, handler, false); in main()
45 testEquality(annotation, annotation, true); in main()
46 testEquality(handler, handler, true); in main()
47 testEquality(annotation, AnnotationHost.class.getAnnotation(TestAnnotation.class), true); in main()
50 private static void testEquality(Object a, Object b, boolean expected) { in testEquality() method in EqualityTest
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/parameterized-utils-2.1.3.0/test/Test/
H A DContext.hs52 testEquality _ _ = Nothing function
220 case testEquality x y of
228 case testEquality x y of
264 assert $ isJust $ testEquality z r
283 assert $ isJust $ testEquality x x'
293 assert $ isJust $ testEquality x x'
294 assert $ isJust $ testEquality y y'
316 assert $ isJust $ testEquality uv uv'
317 assert $ isJust $ testEquality wxy wxy'
324 assert $ isJust $ testEquality x x'
[all …]
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/annotation/
H A DEqualityTest.java40 testEquality(annotation, handler, false); in main()
41 testEquality(annotation, annotation, true); in main()
42 testEquality(handler, handler, true); in main()
45 private static void testEquality(Object a, Object b, boolean expected) { in testEquality() method in EqualityTest
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/java/lang/annotation/
H A DEqualityTest.java40 testEquality(annotation, handler, false); in main()
41 testEquality(annotation, annotation, true); in main()
42 testEquality(handler, handler, true); in main()
45 private static void testEquality(Object a, Object b, boolean expected) { in testEquality() method in EqualityTest
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/annotation/
H A DEqualityTest.java40 testEquality(annotation, handler, false); in main()
41 testEquality(annotation, annotation, true); in main()
42 testEquality(handler, handler, true); in main()
45 private static void testEquality(Object a, Object b, boolean expected) { in testEquality() method in EqualityTest
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/java/lang/annotation/
H A DEqualityTest.java40 testEquality(annotation, handler, false); in main()
41 testEquality(annotation, annotation, true); in main()
42 testEquality(handler, handler, true); in main()
45 private static void testEquality(Object a, Object b, boolean expected) { in testEquality() method in EqualityTest
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/java/lang/annotation/
H A DEqualityTest.java40 testEquality(annotation, handler, false); in main()
41 testEquality(annotation, annotation, true);
42 testEquality(handler, handler, true);
45 private static void testEquality(Object a, Object b, boolean expected) {
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/java/lang/annotation/
H A DEqualityTest.java40 testEquality(annotation, handler, false); in main()
41 testEquality(annotation, annotation, true); in main()
42 testEquality(handler, handler, true); in main()
45 private static void testEquality(Object a, Object b, boolean expected) { in testEquality() method in EqualityTest
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/java/lang/annotation/
H A DEqualityTest.java40 testEquality(annotation, handler, false); in main()
41 testEquality(annotation, annotation, true); in main()
42 testEquality(handler, handler, true); in main()
45 private static void testEquality(Object a, Object b, boolean expected) { in testEquality() method in EqualityTest
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/
H A DIndexLit.hs22 x == y = isJust (testEquality x y)
25 testEquality (IntIndexLit x) (IntIndexLit y) =
30 testEquality (BVIndexLit wx x) (BVIndexLit wy y) = do function
31 Refl <- testEquality wx wy
33 testEquality _ _ =
H A DBaseTypes.hs304 testEquality = $(structuralTypeEquality [t|BaseTypeRepr|] function
305 [ (TypeApp (ConType [t|NatRepr|]) AnyType, [|testEquality|])
306 , (TypeApp (ConType [t|FloatPrecisionRepr|]) AnyType, [|testEquality|])
307 , (TypeApp (ConType [t|StringInfoRepr|]) AnyType, [|testEquality|])
308 , (TypeApp (ConType [t|BaseTypeRepr|]) AnyType, [|testEquality|])
310 , [|testEquality|]
328 testEquality = $(structuralTypeEquality [t|FloatPrecisionRepr|] function
329 [(TypeApp (ConType [t|NatRepr|]) AnyType, [|testEquality|])]
337 testEquality = $(structuralTypeEquality [t|StringInfoRepr|] []) function
H A DConcrete.hs121 testEquality = $(structuralTypeEquality [t|ConcreteVal|] function
122 [ (ConType [t|NatRepr|] `TypeApp` AnyType, [|testEquality|])
123 … (ConType [t|Ctx.Assignment|] `TypeApp` AnyType `TypeApp` AnyType, [|testEqualityFC testEquality|])
124 , (ConType [t|ConcreteVal|] `TypeApp` AnyType, [|testEquality|])
125 , (ConType [t|StringLiteral|] `TypeApp` AnyType, [|testEquality|])
130 x==y = isJust (testEquality x y)
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/parameterized-utils-2.1.3.0/src/Data/Parameterized/
H A DList.hs189 testEquality Nil Nil = Just Refl function
190 testEquality (xh :< xl) (yh :< yl) = do function
191 Refl <- testEquality xh yh
192 Refl <- testEquality xl yl
194 testEquality _ _ = Nothing function
229 testEquality IndexHere IndexHere = Just Refl function
230 testEquality (IndexThere x) (IndexThere y) = testEquality x y function
231 testEquality _ _ = Nothing function
H A DDataKind.hs41 testEquality =
44 ( TH.DataArg 0 `TH.TypeApp` TH.AnyType, [|testEquality|] )
45 , ( TH.DataArg 1 `TH.TypeApp` TH.AnyType, [|testEquality|] )
H A DBoolRepr.hs78 testEquality TrueRepr TrueRepr = Just Refl function
79 testEquality FalseRepr FalseRepr = Just Refl function
80 testEquality _ _ = Nothing function
95 polyEqF x y = (\Refl -> Refl) <$> testEquality x y
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/foundation-0.0.25/tests/Test/Foundation/Network/
H A DIPv6.hs16 testEquality :: Gen IPv6 -> Test
17 testEquality genElement = Group "equality" function
36 , testEquality genIPv6
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/math-functions-0.3.4.1/tests/Tests/
H A DHelpers.hs12 , testEquality
76 testEquality :: (Show a, Eq a) => String -> a -> a -> TestTree
77 testEquality msg a b = testCase msg $ assertEqual msg a b function
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/math-functions-0.3.4.2/tests/Tests/
H A DHelpers.hs12 , testEquality
76 testEquality :: (Show a, Eq a) => String -> a -> a -> TestTree
77 testEquality msg a b = testCase msg $ assertEqual msg a b function
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/math-functions-0.3.4.1/tests/Tests/
H A DHelpers.hs12 , testEquality
76 testEquality :: (Show a, Eq a) => String -> a -> a -> TestTree
77 testEquality msg a b = testCase msg $ assertEqual msg a b function

12345678910>>...15