| /dports/math/z3/z3-z3-4.8.13/src/api/julia/ |
| H A D | z3jl.cpp | 35 template<> struct SuperType<solver> { typedef object type; }; struct
36 template<> struct SuperType<goal> { typedef object type; }; argument
37 template<> struct SuperType<apply_result> { typedef object type; }; struct
38 template<> struct SuperType<tactic> { typedef object type; }; argument
39 template<> struct SuperType<probe> { typedef object type; }; struct
40 template<> struct SuperType<optimize> { typedef object type; }; argument
41 template<> struct SuperType<fixedpoint> { typedef object type; }; argument
42 template<> struct SuperType<param_descrs> { typedef object type; }; argument
50 template<> struct SuperType<expr> { typedef ast type; }; argument
51 template<> struct SuperType<sort> { typedef ast type; }; argument
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/api/julia/ |
| H A D | z3jl.cpp | 35 template<> struct SuperType<solver> { typedef object type; }; struct
36 template<> struct SuperType<goal> { typedef object type; }; struct
37 template<> struct SuperType<apply_result> { typedef object type; }; argument
38 template<> struct SuperType<tactic> { typedef object type; }; struct
39 template<> struct SuperType<probe> { typedef object type; }; struct
40 template<> struct SuperType<optimize> { typedef object type; }; struct
41 template<> struct SuperType<fixedpoint> { typedef object type; }; argument
42 template<> struct SuperType<param_descrs> { typedef object type; }; argument
50 template<> struct SuperType<expr> { typedef ast type; }; struct
51 template<> struct SuperType<sort> { typedef ast type; }; struct
[all …]
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Entity/System/Data/Common/Utils/ |
| H A D | Helpers.cs | 54 …internal static IEnumerable<SuperType> AsSuperTypeList<SubType, SuperType>(IEnumerable<SubType> va…
55 where SubType : SuperType { property in System.Data.Common.Utils.Helpers
|
| /dports/lang/elm/compiler-0.19.1/compiler/src/Type/ |
| H A D | Type.hs | 11 , SuperType(..)
118 | FlexSuper SuperType (Maybe Name.Name)
120 | RigidSuper SuperType Name.Name
126 data SuperType type
294 unnamedFlexSuper :: SuperType -> Content
315 toSuper :: Name.Name -> Maybe SuperType
497 superToSuper :: SuperType -> ET.Super
602 getFreshSuperName :: (Monad m) => SuperType -> StateT NameState m Name.Name
|
| H A D | Unify.hs | 251 unifyRigid :: Context -> Maybe SuperType -> Content -> Content -> Unify ()
288 unifyFlexSuper :: Context -> SuperType -> Content -> Content -> Unify ()
343 combineRigidSupers :: SuperType -> SuperType -> Bool
350 atomMatchesSuper :: SuperType -> ModuleName.Canonical -> Name.Name -> Bool
375 unifyFlexSuperStructure :: Context -> SuperType -> FlatType -> Unify ()
|
| /dports/net-im/libsignal-client/libsignal-client-0.9.6/cargo-crates/neon-0.9.1/src/handle/ |
| H A D | mod.rs | 65 use self::internal::SuperType;
157 pub fn upcast<U: Value + SuperType<T>>(&self) -> Handle<'a, U> { in upcast()
158 Handle::new_internal(SuperType::upcast_internal(self.value)) in upcast()
|
| H A D | internal.rs | 3 pub trait SuperType<T: Value> { trait
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 109 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
122 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
177 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
190 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 109 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
122 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
177 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
190 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 109 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
122 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
177 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
190 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 109 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
122 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
177 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
190 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 109 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
122 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
177 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
190 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/core refactoring/org/eclipse/jdt/internal/corext/refactoring/generics/ |
| H A D | ParametricStructureComputer.java | 247 if (updateStructureOfVar(rhs, elemStructure(lhs), TypeOperator.SuperType)) { in unifyContainerStructure()
414 static public TypeOperator SuperType= new TypeOperator("=>"); //$NON-NLS-1$ field in ParametricStructureComputer.TypeOperator
448 if (op == TypeOperator.Equals || op == TypeOperator.SuperType) { in updateStructureOfVar()
457 if (op == TypeOperator.SuperType) { // if (v >= other), v can't have parametric structure in updateStructureOfVar()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 109 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
122 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
177 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
190 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 109 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
122 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
177 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
190 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 109 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
122 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
177 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
190 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 109 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
122 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
177 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
190 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 109 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
122 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
177 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
190 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/lang/clang-mesa/clang-13.0.1.src/lib/AST/ |
| H A D | ExprObjC.cpp | 109 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
122 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
177 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
190 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/databases/akonadi/akonadi-21.12.3/src/core/ |
| H A D | itempayloadinternals_p.h | 143 using SuperType = typename Akonadi::SuperClass<T>::Type;
190 using SuperType = QSharedPointer<SuperElementType>;
238 using SuperType = std::shared_ptr<SuperElementType>;
|
| /dports/games/py-sgflib/sgflib1.0/ |
| H A D | typelib.py | 72 class SuperType: class
162 class Number(SuperType, AddMulMixin, ModMixin):
359 class Container(SuperType):
|
| /dports/games/py-sgfsummary/sgfsummary1.0/ |
| H A D | typelib.py | 72 class SuperType: class
162 class Number(SuperType, AddMulMixin, ModMixin):
359 class Container(SuperType):
|
| /dports/devel/llvm80/llvm-8.0.1.src/tools/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 126 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
142 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
209 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
222 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/devel/llvm70/llvm-7.0.1.src/tools/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 126 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
142 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
209 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
222 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/AST/ |
| H A D | ExprObjC.cpp | 125 QualType SuperType, Selector Sel, in ObjCMessageExpr() argument
141 setReceiverPointer(SuperType.getAsOpaquePtr()); in ObjCMessageExpr()
208 bool IsInstanceSuper, QualType SuperType, Selector Sel, in Create() argument
221 SuperType, Sel, SelLocs, SelLocsK, Method, in Create()
|