/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ |
H A D | Parser.y | 288 decl :: { Decl PName } 326 let_decl :: { Decl PName } 360 apats_indices :: { ([Pattern PName], [Pattern PName]) } 364 opt_apats_indices :: { ([Pattern PName], [Pattern PName]) } 368 decls :: { [Decl PName] } 372 vdecls :: { [Decl PName] } 457 ifBranches :: { [(Expr PName, Expr PName)] } 461 ifBranch :: { (Expr PName, Expr PName) } 541 rec_expr :: { Either (Expr PName) [Named (Expr PName)] } 780 parseHelpName :: String -> Maybe PName [all …]
|
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Parser/ |
H A D | NoPat.hs | 53 simpleBind :: Located PName -> Expr PName -> Bind PName 61 sel :: Pattern PName -> PName -> Selector -> Bind PName 69 noPat :: Pattern PName -> NoPatM (Pattern PName, [Bind PName]) 134 splitSimpleP :: Pattern PName -> (Located PName, [Type PName]) 143 noPatE :: Expr PName -> NoPatM (Expr PName) 183 noPatFun :: Maybe PName -> Int -> [Pattern PName] -> Expr PName -> NoPatM (Expr PName) 201 noPatM :: Match PName -> NoPatM [Match PName] 208 noMatchB :: Bind PName -> NoPatM (Bind PName) 220 noMatchD :: Decl PName -> NoPatM [Decl PName] 479 checkSigs :: PName -> [Located (Schema PName)] -> NoPatM (Maybe (Schema PName)) [all …]
|
H A D | ParserUtils.hs | 189 mkSchema :: [TParam PName] -> [Prop PName] -> Type PName -> Schema PName 358 unOp :: Expr PName -> Expr PName -> Expr PName 362 binOp :: Expr PName -> Located PName -> Expr PName -> Expr PName 381 …Range -> Expr PName -> Maybe (Expr PName) -> Expr PName -> Maybe (Type PName) -> ParseM (Expr PNam… 389 Range -> Expr PName -> Expr PName -> ParseM (Expr PName) 399 Range -> Expr PName -> Expr PName -> Maybe (Type PName) -> ParseM (Expr PName) 483 mkTySyn :: Located PName -> [TParam PName] -> Type PName -> ParseM (Decl PName) 491 mkPropSyn :: Located PName -> [TParam PName] -> Type PName -> ParseM (Decl PName) 541 LPName -> ([Pattern PName], [Pattern PName]) -> Expr PName -> Decl PName 558 mkIndexedExpr :: ([Pattern PName], [Pattern PName]) -> Expr PName -> Expr PName [all …]
|
H A D | Name.hs | 25 data PName = UnQual !Ident type 38 instance NFData PName 41 mkUnqual :: Ident -> PName 44 mkQual :: ModName -> Ident -> PName 47 getModName :: PName -> Maybe ModName 51 getIdent :: PName -> Ident 60 isGeneratedName :: PName -> Bool 66 instance PP PName where 69 instance PPName PName where
|
/dports/cad/opencascade/opencascade-7.6.0/inc/ |
H A D | StdLPersistent_Value.hxx | 53 Standard_CString PName() const { return "PDF_TagSource"; } in PName() function in StdLPersistent_Value::TagSource 58 Standard_CString PName() const { return "PDF_Reference"; } in PName() function in StdLPersistent_Value::Reference 63 Standard_CString PName() const { return "PDF_Comment"; } in PName() function in StdLPersistent_Value::Comment 71 Standard_CString PName() const { return "PDataStd_UAttribute"; } in PName() function in StdLPersistent_Value::UAttribute 79 Standard_CString PName() const { return "PDataStd_Integer"; } in PName() function in StdLPersistent_Value::Integer 87 Standard_CString PName() const { return "PDataStd_Name"; } in PName() function in StdLPersistent_Value::Name 95 Standard_CString PName() const { return "PDataStd_AsciiString"; } in PName() function in StdLPersistent_Value::AsciiString 101 inline Standard_CString StdObjMgt_Attribute<TDF_TagSource>::Simple<Standard_Integer>::PName() const in PName() function in StdObjMgt_Attribute::Simple 106 …ard_CString StdObjMgt_Attribute<TDF_Reference>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple 111 …_CString StdObjMgt_Attribute<TDataStd_Comment>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple
|
H A D | ShapePersistent_Geom.hxx | 68 virtual Standard_CString PName() const in PName() function 91 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::subBase 109 virtual Standard_CString PName() const in PName() function 120 virtual Standard_CString PName() const in PName() function 146 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::instance 190 ::PName() const { return "PGeom_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::basic 220 ::PName() const { return "PGeom_Vector"; } in PName() function in ShapePersistent_Geom::subBase_gp::basic 230 ::PName() const { return "PGeom_Direction"; } in PName() function in ShapePersistent_Geom::instance::Direction 355 ::PName() const { return "PGeom_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase 363 ::PName() const { return "PGeom_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase [all …]
|
H A D | ShapePersistent_HSequence.hxx | 52 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::node 95 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::instance 122 ::PName() const; 126 ::PName() const; 133 ::PName() const; 137 ::PName() const; 144 ::PName() const; 148 ::PName() const; 155 ::PName() const; 159 ::PName() const;
|
H A D | StdPersistent_DataXtd.hxx | 63 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Shape>::PName() const in PName() function in StdLPersistent_Void::instance 67 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Point>::PName() const in PName() function in StdLPersistent_Void::instance 71 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Axis>::PName() const in PName() function in StdLPersistent_Void::instance 75 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Plane>::PName() const in PName() function in StdLPersistent_Void::instance 79 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Placement>::PName() const in PName() function in StdLPersistent_Void::instance 84 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Geometry>::Simple<Standard_Integer>::PName() c… in PName() function in StdObjMgt_Attribute::Simple 89 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Position>::Simple<gp_Pnt>::PName() const in PName() function in StdObjMgt_Attribute::Simple
|
H A D | ShapePersistent_Geom2d.hxx | 61 ::PName() const { return "PGeom2d_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase 68 ::PName() const { return "PGeom2d_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::geometryBase 77 ::PName() const { return "PGeom2d_CartesianPoint"; } in PName() function in ShapePersistent_Geom::instance::Point 97 ::PName() const; 112 ::PName() const; 127 ::PName() const; 142 ::PName() const; 161 ::PName() const { return "PGeom2d_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase
|
H A D | ShapePersistent_BRep.hxx | 58 virtual Standard_CString PName() const { return "PBRep_PointRepresentation"; } in PName() function in ShapePersistent_BRep::PointRepresentation 81 virtual Standard_CString PName() const { return "PBRep_PointOnCurve"; } in PName() function in ShapePersistent_BRep::PointOnCurve 96 virtual Standard_CString PName() const { return "PBRep_PointsOnSurface"; } in PName() function in ShapePersistent_BRep::PointsOnSurface 128 virtual Standard_CString PName() const { return "PBRep_PointOnSurface"; } in PName() function in ShapePersistent_BRep::PointOnSurface 173 virtual Standard_CString PName() const { return "PBRep_GCurve"; } in PName() function in ShapePersistent_BRep::GCurve 188 virtual Standard_CString PName() const { return "PBRep_Curve3D"; } in PName() function in ShapePersistent_BRep::Curve3D 203 virtual Standard_CString PName() const { return "PBRep_CurveOnSurface"; } in PName() function in ShapePersistent_BRep::CurveOnSurface 243 virtual Standard_CString PName() const { return "PBRep_Polygon3D"; } in PName() function in ShapePersistent_BRep::Polygon3D 359 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTVertex 396 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTEdge [all …]
|
/dports/cad/opencascade/opencascade-7.6.0/src/StdLPersistent/ |
H A D | StdLPersistent_Value.hxx | 53 Standard_CString PName() const { return "PDF_TagSource"; } in PName() function in StdLPersistent_Value::TagSource 58 Standard_CString PName() const { return "PDF_Reference"; } in PName() function in StdLPersistent_Value::Reference 63 Standard_CString PName() const { return "PDF_Comment"; } in PName() function in StdLPersistent_Value::Comment 71 Standard_CString PName() const { return "PDataStd_UAttribute"; } in PName() function in StdLPersistent_Value::UAttribute 79 Standard_CString PName() const { return "PDataStd_Integer"; } in PName() function in StdLPersistent_Value::Integer 87 Standard_CString PName() const { return "PDataStd_Name"; } in PName() function in StdLPersistent_Value::Name 95 Standard_CString PName() const { return "PDataStd_AsciiString"; } in PName() function in StdLPersistent_Value::AsciiString 101 inline Standard_CString StdObjMgt_Attribute<TDF_TagSource>::Simple<Standard_Integer>::PName() const in PName() function in StdObjMgt_Attribute::Simple 106 …ard_CString StdObjMgt_Attribute<TDF_Reference>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple 111 …_CString StdObjMgt_Attribute<TDataStd_Comment>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple
|
/dports/devel/py-cadquery-pywrap/pywrap-e8c7bc9/opencascade/ |
H A D | StdLPersistent_Value.hxx | 53 Standard_CString PName() const { return "PDF_TagSource"; } in PName() function in StdLPersistent_Value::TagSource 58 Standard_CString PName() const { return "PDF_Reference"; } in PName() function in StdLPersistent_Value::Reference 63 Standard_CString PName() const { return "PDF_Comment"; } in PName() function in StdLPersistent_Value::Comment 71 Standard_CString PName() const { return "PDataStd_UAttribute"; } in PName() function in StdLPersistent_Value::UAttribute 79 Standard_CString PName() const { return "PDataStd_Integer"; } in PName() function in StdLPersistent_Value::Integer 87 Standard_CString PName() const { return "PDataStd_Name"; } in PName() function in StdLPersistent_Value::Name 95 Standard_CString PName() const { return "PDataStd_AsciiString"; } in PName() function in StdLPersistent_Value::AsciiString 101 inline Standard_CString StdObjMgt_Attribute<TDF_TagSource>::Simple<Standard_Integer>::PName() const in PName() function in StdObjMgt_Attribute::Simple 106 …ard_CString StdObjMgt_Attribute<TDF_Reference>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple 111 …_CString StdObjMgt_Attribute<TDataStd_Comment>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple
|
H A D | ShapePersistent_Geom.hxx | 68 virtual Standard_CString PName() const in PName() function 91 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::subBase 109 virtual Standard_CString PName() const in PName() function 120 virtual Standard_CString PName() const in PName() function 146 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::instance 190 ::PName() const { return "PGeom_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::basic 220 ::PName() const { return "PGeom_Vector"; } in PName() function in ShapePersistent_Geom::subBase_gp::basic 230 ::PName() const { return "PGeom_Direction"; } in PName() function in ShapePersistent_Geom::instance::Direction 355 ::PName() const { return "PGeom_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase 363 ::PName() const { return "PGeom_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase [all …]
|
H A D | ShapePersistent_HSequence.hxx | 52 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::node 89 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::instance 116 ::PName() const; 120 ::PName() const; 127 ::PName() const; 131 ::PName() const; 138 ::PName() const; 142 ::PName() const; 149 ::PName() const; 153 ::PName() const;
|
H A D | StdPersistent_DataXtd.hxx | 63 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Shape>::PName() const in PName() function in StdLPersistent_Void::instance 67 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Point>::PName() const in PName() function in StdLPersistent_Void::instance 71 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Axis>::PName() const in PName() function in StdLPersistent_Void::instance 75 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Plane>::PName() const in PName() function in StdLPersistent_Void::instance 79 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Placement>::PName() const in PName() function in StdLPersistent_Void::instance 84 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Geometry>::Simple<Standard_Integer>::PName() c… in PName() function in StdObjMgt_Attribute::Simple 89 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Position>::Simple<gp_Pnt>::PName() const in PName() function in StdObjMgt_Attribute::Simple
|
H A D | ShapePersistent_BRep.hxx | 53 virtual Standard_CString PName() const { return "PBRep_PointRepresentation"; } in PName() function in ShapePersistent_BRep::PointRepresentation 76 virtual Standard_CString PName() const { return "PBRep_PointOnCurve"; } in PName() function in ShapePersistent_BRep::PointOnCurve 91 virtual Standard_CString PName() const { return "PBRep_PointsOnSurface"; } in PName() function in ShapePersistent_BRep::PointsOnSurface 119 virtual Standard_CString PName() const { return "PBRep_PointOnSurface"; } in PName() function in ShapePersistent_BRep::PointOnSurface 159 virtual Standard_CString PName() const { return "PBRep_GCurve"; } in PName() function in ShapePersistent_BRep::GCurve 174 virtual Standard_CString PName() const { return "PBRep_Curve3D"; } in PName() function in ShapePersistent_BRep::Curve3D 189 virtual Standard_CString PName() const { return "PBRep_CurveOnSurface"; } in PName() function in ShapePersistent_BRep::CurveOnSurface 225 virtual Standard_CString PName() const { return "PBRep_Polygon3D"; } in PName() function in ShapePersistent_BRep::Polygon3D 333 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTVertex 365 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTEdge [all …]
|
H A D | ShapePersistent_Geom2d.hxx | 61 ::PName() const { return "PGeom2d_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase 68 ::PName() const { return "PGeom2d_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::geometryBase 77 ::PName() const { return "PGeom2d_CartesianPoint"; } in PName() function in ShapePersistent_Geom::instance::Point 97 ::PName() const; 112 ::PName() const; 127 ::PName() const; 142 ::PName() const; 161 ::PName() const { return "PGeom2d_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase
|
/dports/cad/opencascade/opencascade-7.6.0/src/ShapePersistent/ |
H A D | ShapePersistent_Geom.hxx | 68 virtual Standard_CString PName() const in PName() function 91 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::subBase 109 virtual Standard_CString PName() const in PName() function 120 virtual Standard_CString PName() const in PName() function 146 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::instance 190 ::PName() const { return "PGeom_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::basic 220 ::PName() const { return "PGeom_Vector"; } in PName() function in ShapePersistent_Geom::subBase_gp::basic 230 ::PName() const { return "PGeom_Direction"; } in PName() function in ShapePersistent_Geom::instance::Direction 355 ::PName() const { return "PGeom_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase 363 ::PName() const { return "PGeom_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase [all …]
|
H A D | ShapePersistent_HSequence.hxx | 52 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::node 95 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::instance 122 ::PName() const; 126 ::PName() const; 133 ::PName() const; 137 ::PName() const; 144 ::PName() const; 148 ::PName() const; 155 ::PName() const; 159 ::PName() const;
|
H A D | ShapePersistent_HSequence.cxx | 75 ::PName() const { return "PColgp_HSequenceOfXYZ"; } in PName() function in ShapePersistent_HSequence::instance 79 ::PName() const { return "PColgp_SeqNodeOfHSequenceOfXYZ"; } in PName() function in ShapePersistent_HSequence::node 86 ::PName() const { return "PColgp_HSequenceOfPnt"; } in PName() function in ShapePersistent_HSequence::instance 90 ::PName() const { return "PColgp_SeqNodeOfHSequenceOfPnt"; } in PName() function in ShapePersistent_HSequence::node 97 ::PName() const { return "PColgp_HSequenceOfDir"; } in PName() function in ShapePersistent_HSequence::instance 101 ::PName() const { return "PColgp_SeqNodeOfHSequenceOffDir"; } in PName() function in ShapePersistent_HSequence::node 108 ::PName() const { return "PColgp_HSequenceOfVec"; } in PName() function in ShapePersistent_HSequence::instance 112 ::PName() const { return "PColgp_SeqNodeOfHSequenceOfVec"; } in PName() function in ShapePersistent_HSequence::node
|
H A D | ShapePersistent_Geom2d.hxx | 61 ::PName() const { return "PGeom2d_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase 68 ::PName() const { return "PGeom2d_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::geometryBase 77 ::PName() const { return "PGeom2d_CartesianPoint"; } in PName() function in ShapePersistent_Geom::instance::Point 97 ::PName() const; 112 ::PName() const; 127 ::PName() const; 142 ::PName() const; 161 ::PName() const { return "PGeom2d_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase
|
H A D | ShapePersistent_BRep.hxx | 58 virtual Standard_CString PName() const { return "PBRep_PointRepresentation"; } in PName() function in ShapePersistent_BRep::PointRepresentation 81 virtual Standard_CString PName() const { return "PBRep_PointOnCurve"; } in PName() function in ShapePersistent_BRep::PointOnCurve 96 virtual Standard_CString PName() const { return "PBRep_PointsOnSurface"; } in PName() function in ShapePersistent_BRep::PointsOnSurface 128 virtual Standard_CString PName() const { return "PBRep_PointOnSurface"; } in PName() function in ShapePersistent_BRep::PointOnSurface 173 virtual Standard_CString PName() const { return "PBRep_GCurve"; } in PName() function in ShapePersistent_BRep::GCurve 188 virtual Standard_CString PName() const { return "PBRep_Curve3D"; } in PName() function in ShapePersistent_BRep::Curve3D 203 virtual Standard_CString PName() const { return "PBRep_CurveOnSurface"; } in PName() function in ShapePersistent_BRep::CurveOnSurface 243 virtual Standard_CString PName() const { return "PBRep_Polygon3D"; } in PName() function in ShapePersistent_BRep::Polygon3D 359 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTVertex 396 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTEdge [all …]
|
/dports/lang/cocor/cocor-1.7_3/sources/ |
H A D | crt.h | 30 typedef char *PName; typedef 119 int FindTerm(PName name); 121 int NewTerm(PName name); 137 int FindClass(PName name); 188 int FindNTerm(PName name); 189 int NewNTerm(PName name); 205 int FindPragma(PName name); 206 int NewPragma(PName name); 223 int FindName(PName name); 224 void NewName(PName name, PName user_name); [all …]
|
/dports/cad/opencascade/opencascade-7.6.0/src/StdPersistent/ |
H A D | StdPersistent_DataXtd.hxx | 63 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Shape>::PName() const in PName() function in StdLPersistent_Void::instance 67 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Point>::PName() const in PName() function in StdLPersistent_Void::instance 71 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Axis>::PName() const in PName() function in StdLPersistent_Void::instance 75 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Plane>::PName() const in PName() function in StdLPersistent_Void::instance 79 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Placement>::PName() const in PName() function in StdLPersistent_Void::instance 84 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Geometry>::Simple<Standard_Integer>::PName() c… in PName() function in StdObjMgt_Attribute::Simple 89 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Position>::Simple<gp_Pnt>::PName() const in PName() function in StdObjMgt_Attribute::Simple
|
/dports/textproc/sigil/Sigil-1.8.0/src/Dialogs/ |
H A D | MetaEditor.cpp | 147 choices << PName(aval) + _GS + aval; in buildChoices() 163 cat = PName("title-type"); in loadChoices() 166 cat = PName("dir"); in loadChoices() 169 cat = PName("collection-type"); in loadChoices() 172 cat = PName("role"); in loadChoices() 191 cat = PName("xml:lang"); in loadChoices() 208 cat = PName("opf:event"); in loadE2Choices() 211 cat = PName("opf:scheme"); in loadE2Choices() 214 cat = PName("opf:role"); in loadE2Choices() 233 cat = PName("xml:lang"); in loadE2Choices() [all …]
|