_:genid1 . # # # ################################################################# # # # # Annotation properties # # # ################################################################# # # # http://www.w3.org/ns/shacl#class . # # http://www.w3.org/ns/shacl#datatype . # # http://www.w3.org/ns/shacl#maxInclusive . # # http://www.w3.org/ns/shacl#minInclusive . # # http://www.w3.org/ns/shacl#name . # # http://www.w3.org/ns/shacl#nodeKind . # # http://www.w3.org/ns/shacl#path . # # http://www.w3.org/ns/shacl#pattern . # # http://www.w3.org/ns/shacl#property . # # http://www.w3.org/ns/shacl#targetClass . # # https://w3id.org/def/astrea#contains . # # https://w3id.org/def/astrea#generatedShapesFrom . # # https://w3id.org/def/astrea#message . # # https://w3id.org/def/astrea#statusCode . # # # # ################################################################# # # # # Classes # # # ################################################################# # # # http://www.w3.org/ns/shacl#NodeShape . # # http://www.w3.org/ns/shacl#PropertyShape . # # https://w3id.org/def/astrea#ReportEntry . # # https://w3id.org/def/astrea#ShapeReport . # # # # ################################################################# # # # # Individuals # # # ################################################################# # # # http://astrea.linkeddata.es/report . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . # # https://astrea.linkeddata.es/report/0620946147 . . "Shapes generated with no errors" . "200"^^ . # # https://astrea.linkeddata.es/shapes#a2a6b9cb9c258d353227a6f458f6aa82 . . "Map Attribute Specification" . "Map Attribute Specification" . . . . # # https://astrea.linkeddata.es/shapes#a3c9261198fb7bc19e372ec0b1dc4a0f . . "Non Constant Attribute Specification" . "Non Constant Attribute Specification" . . . . . . . # # https://astrea.linkeddata.es/shapes#a66934a33107505c373ff037f9565503 . . "Dual Memory Type" . "Dual Memory Type" . . . . . # # https://astrea.linkeddata.es/shapes#a793810b7e5c4eeea2119892937fc6c3 . . "Contract Implementation" . "Contract Implementation" . . . . . . . . . . # # https://astrea.linkeddata.es/shapes#ae3cc8e250b95f7a4d5eba4d701961fa . . "is constant" . . "is constant" . . . "true|false|0|1" . # # https://astrea.linkeddata.es/shapes#af326bf3296a574e88a3dbc4160e5947 . . "has array value" . . "has array value" . . . # # https://astrea.linkeddata.es/shapes#b1094288151760301f1495bf294696ea . . "has interface" . . "has interface" . . . # # https://astrea.linkeddata.es/shapes#b54486a74eaec7ef9884b65225dd11bf . . "index" . . "32767"^^ . "-32768"^^ . "index" . . . "[\\-+]?[0-9]+" . # # https://astrea.linkeddata.es/shapes#b57d425a1d6ce4acac74dd9417add2ce . . "modifier code" . . "modifier code" . . . ".*" . # # https://astrea.linkeddata.es/shapes#b5e5dbb9955d96b2e919e8186c93ba21 . . "Library Implementation" . "Library Implementation" . . . . # # https://astrea.linkeddata.es/shapes#c0d1bc315b60adb84872c8ebc435cc35 . . "has modifier behaviour" . . "has modifier behaviour" . . . # # https://astrea.linkeddata.es/shapes#c19a4950015edb765e74c229432a337a . . "has type" . . "has type" . . . # # https://astrea.linkeddata.es/shapes#c27cbd96cefaa0926ae7c25efa55e96f . . "Ufixed Mx N" . "Ufixed Mx N" . . . # # https://astrea.linkeddata.es/shapes#c46b19340706dd5afe31a86b75474e8e . . "has value map" . "has value map" . . # # https://astrea.linkeddata.es/shapes#c49ef78ebbaf1d8584cde141b5a6fba5 . . "Attribute Specification" . "Attribute Specification" . . . . # # https://astrea.linkeddata.es/shapes#c53e8cd1acec81d219c7768d99378b82 . . "Fixed Value" . "Fixed Value" . . . . # # https://astrea.linkeddata.es/shapes#c6d6e96f9b789b6f08f0b79f8863b76e . . "Modifier Override Tipe" . "Modifier Override Tipe" . . . # # https://astrea.linkeddata.es/shapes#c74659907e4f3d7205d683d350a8275b . . "has implementation struct type" . . "has implementation struct type" . . . # # https://astrea.linkeddata.es/shapes#c82121648e8465f278b2e0b601d275aa . . "has implementation function" . . "has implementation function" . . . # # https://astrea.linkeddata.es/shapes#c963e9ae8d45b573bbcd58f821b3f5ab . . "String Value" . "String Value" . . . . # # https://astrea.linkeddata.es/shapes#c96ab643371603a2567aaaaa0025fd54 . . "has override return" . . "has override return" . . . # # https://astrea.linkeddata.es/shapes#c9d1ed2bbad59009ba6e251a1ac5b1c3 . . "has function return" . . "has function return" . . . # # https://astrea.linkeddata.es/shapes#ca04428271a2989ee6b6df2df9996f2d . . "Receive Specification" . "Receive Specification" . . . . . . # # https://astrea.linkeddata.es/shapes#cb4df4de3b3bc2693f19cf3ef839b6b6 . . "Map Key Type" . "Map Key Type" . . . # # https://astrea.linkeddata.es/shapes#cf39bfa32cf2eaf9f205e1ce6f16ba24 . . "attribute name" . . "attribute name" . . . ".*" . # # https://astrea.linkeddata.es/shapes#d09138b294128a70f0d9d1e043c9cf58 . . "memory m" . . "32767"^^ . "-32768"^^ . "memory m" . . . "[\\-+]?[0-9]+" . # # https://astrea.linkeddata.es/shapes#d246ec37ef4688b6369efe10b4069cfc . . "function name" . . "function name" . . . ".*" . # # https://astrea.linkeddata.es/shapes#d35259d8146a36db93ea4691ad8a5e58 . . "has index array value" . . "has index array value" . . . # # https://astrea.linkeddata.es/shapes#d65667ab933f343aee7d8ee6c98ae029 . . "Value Specification" . "Value Specification" . . . . # # https://astrea.linkeddata.es/shapes#d91bf1e1bfd5b551eb6088ef7061e5de . . "Bytes Value" . "Bytes Value" . . . . # # https://astrea.linkeddata.es/shapes#dc35b834e509cfdcdcca12ecf0b56634 . . "Function Behaviour" . "Function Behaviour" . . . . # # https://astrea.linkeddata.es/shapes#dd41482800602f90094f8c52c1c0f3b6 . . "Implementation" . "Implementation" . . . . . . . . . . . # # https://astrea.linkeddata.es/shapes#dfbc69245f31fba26bd592dc1ec3ff60 . . "Visibility" . "Visibility" . . . # # https://astrea.linkeddata.es/shapes#e09a2e6aec364053c741762b14c09c0a . . "lenght" . . "32767"^^ . "-32768"^^ . "lenght" . . . "[\\-+]?[0-9]+" . # # https://astrea.linkeddata.es/shapes#e54709a82fc3bd8975cc6ca177988bc3 . . "simple generic" . . "simple generic" . . . # # https://astrea.linkeddata.es/shapes#e5d1ea846e01df672e03c598745f3cf2 . . "has key map" . . "has key map" . . . # # https://astrea.linkeddata.es/shapes#e66fea1e5015a08f94185ab06b1955c0 . . "Struct Type" . "Struct Type" . . . . # # https://astrea.linkeddata.es/shapes#e753a79bd45d5d78266635a3704871ed . . "Bool Value" . "Bool Value" . . . . # # https://astrea.linkeddata.es/shapes#ed35aefcc9aa43bef42c4d5d1ba2db46 . . "Function Specification" . "Function Specification" . . . . . . . . # # https://astrea.linkeddata.es/shapes#ee5fe03349c01d118758dd8f88f7b413 . . "has interface function" . . "has interface function" . . . # # https://astrea.linkeddata.es/shapes#ef7e69ae1e005eb0527d2985d9e662ca . . "has function arguments" . . "has function arguments" . . . # # https://astrea.linkeddata.es/shapes#effb88a972b69d770603754a94964ff1 . . "Constant Type" . "Constant Type" . . . # # https://astrea.linkeddata.es/shapes#f2586f5822351a35965d7fd6f36c6d45 . . "has contract receive" . . "has contract receive" . . . # # https://astrea.linkeddata.es/shapes#f4acc8f2428fb367dae633cc51d5e1a5 . . "Constructor Specification" . "Constructor Specification" . . . . . # # https://astrea.linkeddata.es/shapes#f5fec3c3c24149d8feef874699ab6825 . . "has attribute visibility" . . "has attribute visibility" . . . # # https://astrea.linkeddata.es/shapes#f65dca40a09a8ae4f5e6ddd4c0683c18 . . "memory" . . "32767"^^ . "-32768"^^ . "memory" . . . "[\\-+]?[0-9]+" . # # https://astrea.linkeddata.es/shapes#f6e72d41fc6858187149c5e259bc7904 . . "Array Value Specification" . "Array Value Specification" . . . . # # https://astrea.linkeddata.es/shapes#f847bc8e672a8b020e137b9fe31b7a95 . . "Array Dimension" . "Array Dimension" . . . . . # # https://astrea.linkeddata.es/shapes#f94570cb13b7d410ee5112fc8cda37a7 . . "Fixed Mx N" . "Fixed Mx N" . . . # # https://astrea.linkeddata.es/shapes#fca78fddda071fe03e989ee25ab5ca64 . . "modifier name" . . "modifier name" . . . ".*" . # # https://astrea.linkeddata.es/shapes#fcdb0ee02a0a96d99606ab91118a2e09 . . "has constant attribute" . . "has constant attribute" . . . # # https://astrea.linkeddata.es/shapes#fdbca23a82d4fc5ebc7ed095420664c8 . . "Generic Value" . "Generic Value" . . . . # # https://astrea.linkeddata.es/shapes#feac604057adcc79a8b8a9b9607b63d1 . . "Address" . "Address" . . . # # https://astrea.linkeddata.es/shapes#0bafbeb8692ff628f7119a551020958c . . "Enum Type" . "Enum Type" . . . . # # https://astrea.linkeddata.es/shapes#05e3dc49d1b34b32451d5247e5c2052e . . "version" . . "version" . . . ".*" . # # https://astrea.linkeddata.es/shapes#051bc32a14492ca7826ab28491cade74 . . "Int Value" . "Int Value" . . . . # # https://astrea.linkeddata.es/shapes#055b12b50f2ea3acd39d43b54f0c06fb . . "has parameter type" . . "has parameter type" . . . # # https://astrea.linkeddata.es/shapes#06390c37c730ed754254821df21ac56f . . "Interface" . "Interface" . . . . # # https://astrea.linkeddata.es/shapes#08b8767464f581e42368f697a97d5aec . . "has parameter name" . . "has parameter name" . . . ".*" . # # https://astrea.linkeddata.es/shapes#090ce0aea40b0ae8b26b647880e8c951 . . "simple fixed" . . "simple fixed" . . . ".*" . # # https://astrea.linkeddata.es/shapes#1a7a4d2b2cc13d12672a0a34c2127354 . . "Bool" . "Bool" . . . # # https://astrea.linkeddata.es/shapes#1e839cbe584d9bbaecd33320fc8583a3 . . "is inmutable" . . "is inmutable" . . . "true|false|0|1" . # # https://astrea.linkeddata.es/shapes#1f4a5f47228bd934f28eadebc4e85acd . . "has implementation event" . . "has implementation event" . . . # # https://astrea.linkeddata.es/shapes#10384f2b44e06ffb59d4380ecc1b11a4 . . "using for name" . . "using for name" . . . ".*" . # # https://astrea.linkeddata.es/shapes#15537684eb4592dee14407e46964c1b7 . . "has implementation modifier" . . "has implementation modifier" . . . # # https://astrea.linkeddata.es/shapes#1587fcc5e7eca54a12d7644d216f98b5 . . "Event Specification" . "Event Specification" . . . . . . # # https://astrea.linkeddata.es/shapes#1802dd32fb85155f95b9919bb3cce73a . . "Parameter Type" . "Parameter Type" . . . # # https://astrea.linkeddata.es/shapes#198e33fd8eeb673d3452092fa5ac7387 . . "Type" . "Type" . . . # # https://astrea.linkeddata.es/shapes#2bcf739a582166db440499421363ca9c . . "has non constant type" . . . . "has non constant type" . . . # # https://astrea.linkeddata.es/shapes#2efdfda13a170a12b3a8b54b78b8c936 . . "has parameter type with data location" . . "has parameter type with data location" . . . # # https://astrea.linkeddata.es/shapes#22ceef46389070cbb06c76d55780020e . . "has constructor arguments" . . "has constructor arguments" . . . # # https://astrea.linkeddata.es/shapes#25bb0c5ddd94bb69d616988df920d52e . . "Array Value" . "Array Value" . . . . . # # https://astrea.linkeddata.es/shapes#2613313c05107e61d29eb69dcf7e74b8 . . "Parameter Variable Specification" . "Parameter Variable Specification" . . . . . . # # https://astrea.linkeddata.es/shapes#27e2a70ffb75e684b4c06020565f4dae . . "option" . . "option" . . . ".*" . # # https://astrea.linkeddata.es/shapes#29dedd762acd7268820b8eb35c7f67a4 . . "contract name" . . "contract name" . . . ".*" . # # https://astrea.linkeddata.es/shapes#3064a958129f70025d11112f303eb681 . . "has contract abstract function" . . "has contract abstract function" . . . # # https://astrea.linkeddata.es/shapes#32ebbff46e773166a13144f0acf57826 . . "has attribute value" . . "has attribute value" . . . # # https://astrea.linkeddata.es/shapes#36d5f694914d7939f59c4fdc67cfe890 . . "Parameter Type With Data Location" . "Parameter Type With Data Location" . . . . # # https://astrea.linkeddata.es/shapes#38b9dda437c8836f2f1f5147c3de01f0 . . "Single Memory Type" . "Single Memory Type" . . . . # # https://astrea.linkeddata.es/shapes#384149acbe735f226a2e94978eb24db4 . . "has index" . . "32767"^^ . "-32768"^^ . "has index" . . . "[\\-+]?[0-9]+" . # # https://astrea.linkeddata.es/shapes#3997d7e95d2bd718b223a8f8206b6e60 . . "has contract using for directive" . . "has contract using for directive" . . . # # https://astrea.linkeddata.es/shapes#4a010fb2227bb077e571f056e16dca80 . . "has constant type" . . "has constant type" . . . # # https://astrea.linkeddata.es/shapes#4a06f2695d5a837c45a8591d915f5db8 . . "is abstract" . . "is abstract" . . . # # https://astrea.linkeddata.es/shapes#4bcbf130da8840053c7720f453c4ceec . . "Memory Type" . "Memory Type" . . . # # https://astrea.linkeddata.es/shapes#4d861fe1365971d6c59a3aea8be0b7cb . . "has parameter position" . . "32767"^^ . "-32768"^^ . "has parameter position" . . . "[\\-+]?[0-9]+" . # # https://astrea.linkeddata.es/shapes#4ed2bc551e8abcb7c2728171be51df07 . . "Fallback Specification" . "Fallback Specification" . . . . . . # # https://astrea.linkeddata.es/shapes#427bc3d13e9f099760fea214f14242e7 . . "function code" . . "function code" . . . ".*" . # # https://astrea.linkeddata.es/shapes#43ebb1828d4b4f20ee018263c382e27f . . "has contract constructor" . . "has contract constructor" . . . # # https://astrea.linkeddata.es/shapes#44fcaa7e55d5e92fb8c6a1b00fbfa2d1 . . "Int" . "Int" . . . # # https://astrea.linkeddata.es/shapes#45e9afad3646add23c8f2ffe2eef63ea . . "has non constant struct attribute" . . "has non constant struct attribute" . . . # # https://astrea.linkeddata.es/shapes#49295c6dcdbcbc611db1f886154e393e . . "Elementary Type" . "Elementary Type" . . . # # https://astrea.linkeddata.es/shapes#5c9f7a2f6e8cf07375085423c7bb66c9 . . "constructor code" . . "constructor code" . . . ".*" . # # https://astrea.linkeddata.es/shapes#5cf489b64bb88100ce8ac5f585f54fd4 . . "Data Location" . "Data Location" . . . # # https://astrea.linkeddata.es/shapes#5ef5033fcd406df401bd4060eacc207b . . "is anonymous" . . "is anonymous" . . . "true|false|0|1" . # # https://astrea.linkeddata.es/shapes#50f7aa81c7573e11dc8825349d3b8057 . . "has receive behaviour" . . "has receive behaviour" . . . # # https://astrea.linkeddata.es/shapes#5035b1a03eb4fb541c2bdf0596023127 . . "Bytes" . "Bytes" . . . # # https://astrea.linkeddata.es/shapes#559ae4fd99e05efec93790601b553de0 . . "has contract fallback" . . "has contract fallback" . . . # # https://astrea.linkeddata.es/shapes#5602b4b6166a9cbc1ff427779db54919 . . "Modifier Specification" . "Modifier Specification" . . . . . . . . # # https://astrea.linkeddata.es/shapes#57f117e9006c21da7462065aebc70885 . . "has fallback visibility" . . "has fallback visibility" . . . # # https://astrea.linkeddata.es/shapes#6bff7b999f158e6ab18758b3139d875d . . "has modifier override type" . . "has modifier override type" . . . # # https://astrea.linkeddata.es/shapes#6e8591bf388f9c32f562684988881760 . . "Codeless Function Specification" . "Codeless Function Specification" . . . . # # https://astrea.linkeddata.es/shapes#607023561da2c64d998bd1946a5a8a4f . . "simple string" . . "simple string" . . . ".*" . # # https://astrea.linkeddata.es/shapes#62ce18f0d32a48e7ca172b16334b92a0 . . "String" . "String" . . . # # https://astrea.linkeddata.es/shapes#63aa0e9db646fb75cbd7dee32c320ffc . . "has event arguments" . . "has event arguments" . . . # # https://astrea.linkeddata.es/shapes#67dc4d67a1de3c071f31cf9284e4f373 . . "Uint" . "Uint" . . . # # https://astrea.linkeddata.es/shapes#68016f92b1d67714a6d92265f0e297de . . "F R Behaviour" . "F R Behaviour" . . . # # https://astrea.linkeddata.es/shapes#68325ac9e18980455ca47c7e54df83b6 . . "Modifier Override Specification" . "Modifier Override Specification" . . . . # # https://astrea.linkeddata.es/shapes#7b139e77dec617e7f50c642e6d3fc229 . . "fallback code" . . "fallback code" . . . ".*" . # # https://astrea.linkeddata.es/shapes#7c5a971d03bb8f0ca2eaf77f28f23f3f . . "Array Type" . "Array Type" . . . . . # # https://astrea.linkeddata.es/shapes#73b38e54bc71e1f59a452de7d076adf6 . . "event name" . . "event name" . . . ".*" . # # https://astrea.linkeddata.es/shapes#74f5453c604987c69902aa036ee1b725 . . "has fallback behaviour" . . "has fallback behaviour" . . . # # https://astrea.linkeddata.es/shapes#74531a419b7ab7cff67efc90ce32e413 . . "simple int" . . "simple int" . . . ".*" . # # https://astrea.linkeddata.es/shapes#7533720b0d81b3aef04de128ab79e45d . . "has modifier arguments" . . "has modifier arguments" . . . # # https://astrea.linkeddata.es/shapes#7631ad865e0f3c1c9884f8c98174cc79 . . "is defined as" . . "is defined as" . . . # # https://astrea.linkeddata.es/shapes#765103b3150608bb16ac7f9541584dd4 . . "has function behaviour" . . "has function behaviour" . . . # # https://astrea.linkeddata.es/shapes#799cf992ed0c774055904c17e0507e7c . . "simple bytes" . . "simple bytes" . . . ".*" . # # https://astrea.linkeddata.es/shapes#8a3036257919e9eae502118357673bf3 . . "receive code" . . "receive code" . . . ".*" . # # https://astrea.linkeddata.es/shapes#8c1e19fbdab4b4bf990b3de1d6888711 . . "Contract Attribute Specification" . "Contract Attribute Specification" . . . . # # https://astrea.linkeddata.es/shapes#8d2b41021f5b786064e93c551c3e96a3 . . "has contract attribute" . . "has contract attribute" . . . # # https://astrea.linkeddata.es/shapes#8f3727a7822308a28b1cf07c08a79f3b . . "Simple Value Specification" . "Simple Value Specification" . . . # # https://astrea.linkeddata.es/shapes#8f7de51b003a3c0e3669a445074daef5 . . "Map Type" . "Map Type" . . . . # # https://astrea.linkeddata.es/shapes#83ce2b9374ddfa38332937422776d474 . . "codeless function code" . . "codeless function code" . . . ".*" . # # https://astrea.linkeddata.es/shapes#883226922a59ee14b5bf525244b3acb1 . . "is using library" . . "is using library" . . . # # https://astrea.linkeddata.es/shapes#8937e74afd9c0feb8f29f2813f2a6cdd . . "Abstract" . "Abstract" . . . . # # https://astrea.linkeddata.es/shapes#9a53ef5d06ab058391ab98e8d6f12f2e . . "Modifier Behaviour" . "Modifier Behaviour" . . . # # https://astrea.linkeddata.es/shapes#9afd4d4ac02c81a4367b3c818e1dc424 . . "has array dimension" . . "has array dimension" . . . # # https://astrea.linkeddata.es/shapes#9ec6c3e95bc3860ba21f2dad7773556e . . "Array Attribute Specification" . "Array Attribute Specification" . . . . # # https://astrea.linkeddata.es/shapes#91a331c66aaf2dc7c03edde7594a8f34 . . "Using For Directive" . "Using For Directive" . . . . . # # https://astrea.linkeddata.es/shapes#925939f7071be6a59bd54de5c3824b42 . . "Non Constant Type" . "Non Constant Type" . . . # # https://astrea.linkeddata.es/shapes#93ca8ee450744ff9a0f3b9cdec53d14b . . "import" . . "import" . . . ".*" . # # https://astrea.linkeddata.es/shapes#93186fdd7e12532018338e28ced26edc . . "has receive visibility" . . "has receive visibility" . . . # # https://astrea.linkeddata.es/shapes#936ef64239c11e939521125e32bf4d4d . . "simple bool" . . "simple bool" . . . ".*" . # # https://astrea.linkeddata.es/shapes#9524f79f31b7c023535bc659e6db154f . . "memory n" . . "32767"^^ . "-32768"^^ . "memory n" . . . "[\\-+]?[0-9]+" . # # https://astrea.linkeddata.es/shapes#9584a6b93ea13157b019e623d15c5389 . . "inheritance" . . "inheritance" . . . ".*" . # # Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/