/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/unittests/StaticAnalyzer/ |
H A D | Reusables.h | 74 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 D | Reusables.h | 74 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 D | Reusables.h | 74 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 D | Reusables.h | 74 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 D | Reusables.h | 74 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 D | Reusables.h | 74 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 D | EqualityTest.java | 44 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 D | Context.hs | 52 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 D | EqualityTest.java | 40 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 D | EqualityTest.java | 40 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 D | EqualityTest.java | 40 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 D | EqualityTest.java | 40 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 D | EqualityTest.java | 40 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 D | EqualityTest.java | 40 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 D | EqualityTest.java | 40 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 D | IndexLit.hs | 22 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 D | BaseTypes.hs | 304 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 D | Concrete.hs | 121 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 D | List.hs | 189 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 D | DataKind.hs | 41 testEquality = 44 ( TH.DataArg 0 `TH.TypeApp` TH.AnyType, [|testEquality|] ) 45 , ( TH.DataArg 1 `TH.TypeApp` TH.AnyType, [|testEquality|] )
|
H A D | BoolRepr.hs | 78 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 D | IPv6.hs | 16 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 D | Helpers.hs | 12 , 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 D | Helpers.hs | 12 , 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 D | Helpers.hs | 12 , testEquality 76 testEquality :: (Show a, Eq a) => String -> a -> a -> TestTree 77 testEquality msg a b = testCase msg $ assertEqual msg a b function
|