https://astrea.linkeddata.es/report/0620946147
type: NamedIndividual
type: ReportEntry
message: Shapes generated with no errors
status code: 200

Map Attribute Specification
type: NamedIndividual
type: NodeShape
name: Map Attribute Specification
node kind: IRI
target class: MapAttributeSpecification

Non Constant Attribute Specification
type: NamedIndividual
type: NodeShape
name: Non Constant Attribute Specification
node kind: IRI
target class: NonConstantAttributeSpecification

Dual Memory Type
type: NamedIndividual
type: NodeShape
name: Dual Memory Type
node kind: IRI
target class: DualMemoryType

Contract Implementation
type: NamedIndividual
type: NodeShape
name: Contract Implementation
node kind: IRI
target class: ContractImplementation

is constant
type: NamedIndividual
type: PropertyShape
datatype: boolean
name: is constant
node kind: Literal
path: isConstant
pattern: true|false|0|1

has array value
type: NamedIndividual
type: PropertyShape
class: ArrayValue
name: has array value
node kind: BlankNodeOrIRI
path: hasArrayValue

has interface
type: NamedIndividual
type: PropertyShape
class: Interface
name: has interface
node kind: BlankNodeOrIRI
path: hasInterface

index
type: NamedIndividual
type: PropertyShape
datatype: short
max inclusive: 32767
min inclusive: -32768
name: index
node kind: Literal
path: index
pattern: [\-+]?[0-9]+

modifier code
type: NamedIndividual
type: PropertyShape
datatype: string
name: modifier code
node kind: Literal
path: modifierCode
pattern: .*

Library Implementation
type: NamedIndividual
type: NodeShape
name: Library Implementation
node kind: IRI
target class: LibraryImplementation

has modifier behaviour
type: NamedIndividual
type: PropertyShape
class: ModifierBehaviour
name: has modifier behaviour
node kind: BlankNodeOrIRI
path: hasModifierBehaviour

has type
type: NamedIndividual
type: PropertyShape
class: Type
name: has type
node kind: BlankNodeOrIRI
path: hasType

Ufixed Mx N
type: NamedIndividual
type: NodeShape
name: Ufixed Mx N
node kind: IRI
target class: UfixedMxN

has value map
type: NamedIndividual
type: PropertyShape
name: has value map
node kind: BlankNodeOrIRI

Attribute Specification
type: NamedIndividual
type: NodeShape
name: Attribute Specification
node kind: IRI
target class: AttributeSpecification

Fixed Value
type: NamedIndividual
type: NodeShape
name: Fixed Value
node kind: IRI
target class: FixedValue

Modifier Override Tipe
type: NamedIndividual
type: NodeShape
name: Modifier Override Tipe
node kind: IRI
target class: ModifierOverrideTipe

has implementation struct type
type: NamedIndividual
type: PropertyShape
class: StructType
name: has implementation struct type
node kind: BlankNodeOrIRI
path: hasImplementationStructType

has implementation function
type: NamedIndividual
type: PropertyShape
class: FunctionSpecification
name: has implementation function
node kind: BlankNodeOrIRI
path: hasImplementationFunction

String Value
type: NamedIndividual
type: NodeShape
name: String Value
node kind: IRI
target class: StringValue

has override return
type: NamedIndividual
type: PropertyShape
class: ModifierOverrideSpecification
name: has override return
node kind: BlankNodeOrIRI
path: hasOverrideReturn

has function return
type: NamedIndividual
type: PropertyShape
class: ParameterVariableSpecification
name: has function return
node kind: BlankNodeOrIRI
path: hasFunctionReturn

Receive Specification
type: NamedIndividual
type: NodeShape
name: Receive Specification
node kind: IRI
target class: ReceiveSpecification

Map Key Type
type: NamedIndividual
type: NodeShape
name: Map Key Type
node kind: IRI
target class: MapKeyType

attribute name
type: NamedIndividual
type: PropertyShape
datatype: string
name: attribute name
node kind: Literal
path: attributeName
pattern: .*

memory m
type: NamedIndividual
type: PropertyShape
datatype: short
max inclusive: 32767
min inclusive: -32768
name: memory m
node kind: Literal
path: memoryM
pattern: [\-+]?[0-9]+

function name
type: NamedIndividual
type: PropertyShape
datatype: string
name: function name
node kind: Literal
path: functionName
pattern: .*

has index array value
type: NamedIndividual
type: PropertyShape
class: ArrayValueSpecification
name: has index array value
node kind: BlankNodeOrIRI
path: hasIndexArrayValue

Value Specification
type: NamedIndividual
type: NodeShape
name: Value Specification
node kind: IRI
target class: ValueSpecification

Bytes Value
type: NamedIndividual
type: NodeShape
name: Bytes Value
node kind: IRI
target class: BytesValue

Function Behaviour
type: NamedIndividual
type: NodeShape
name: Function Behaviour
node kind: IRI
target class: FunctionBehaviour

Implementation
type: NamedIndividual
type: NodeShape
name: Implementation
node kind: IRI
target class: Implementation

Visibility
type: NamedIndividual
type: NodeShape
name: Visibility
node kind: IRI
target class: Visibility

lenght
type: NamedIndividual
type: PropertyShape
datatype: short
max inclusive: 32767
min inclusive: -32768
name: lenght
node kind: Literal
path: lenght
pattern: [\-+]?[0-9]+

simple generic
type: NamedIndividual
type: PropertyShape
datatype: Literal
name: simple generic
node kind: Literal
path: simpleGeneric

has key map
type: NamedIndividual
type: PropertyShape
class: MapKeyType
name: has key map
node kind: BlankNodeOrIRI
path: hasKeyMap

Struct Type
type: NamedIndividual
type: NodeShape
name: Struct Type
node kind: IRI
target class: StructType

Bool Value
type: NamedIndividual
type: NodeShape
name: Bool Value
node kind: IRI
target class: BoolValue

Function Specification
type: NamedIndividual
type: NodeShape
name: Function Specification
node kind: IRI
target class: FunctionSpecification

has interface function
type: NamedIndividual
type: PropertyShape
class: CodelessFunctionSpecification
name: has interface function
node kind: BlankNodeOrIRI
path: hasInterfaceFunction

has function arguments
type: NamedIndividual
type: PropertyShape
class: ParameterVariableSpecification
name: has function arguments
node kind: BlankNodeOrIRI
path: hasFunctionArguments

Constant Type
type: NamedIndividual
type: NodeShape
name: Constant Type
node kind: IRI
target class: ConstantType

has contract receive
type: NamedIndividual
type: PropertyShape
class: ReceiveSpecification
name: has contract receive
node kind: BlankNodeOrIRI
path: hasContractReceive

Constructor Specification
type: NamedIndividual
type: NodeShape
name: Constructor Specification
node kind: IRI
target class: ConstructorSpecification

has attribute visibility
type: NamedIndividual
type: PropertyShape
class: Visibility
name: has attribute visibility
node kind: BlankNodeOrIRI
path: hasAttributeVisibility

memory
type: NamedIndividual
type: PropertyShape
datatype: short
max inclusive: 32767
min inclusive: -32768
name: memory
node kind: Literal
path: memory
pattern: [\-+]?[0-9]+

Array Value Specification
type: NamedIndividual
type: NodeShape
name: Array Value Specification
node kind: IRI
target class: ArrayValueSpecification

Array Dimension
type: NamedIndividual
type: NodeShape
name: Array Dimension
node kind: IRI
target class: ArrayDimension

Fixed Mx N
type: NamedIndividual
type: NodeShape
name: Fixed Mx N
node kind: IRI
target class: FixedMxN

modifier name
type: NamedIndividual
type: PropertyShape
datatype: string
name: modifier name
node kind: Literal
path: modifierName
pattern: .*

has constant attribute
type: NamedIndividual
type: PropertyShape
class: ContractAttributeSpecification
name: has constant attribute
node kind: BlankNodeOrIRI
path: hasConstantAttribute

Generic Value
type: NamedIndividual
type: NodeShape
name: Generic Value
node kind: IRI
target class: GenericValue

Address
type: NamedIndividual
type: NodeShape
name: Address
node kind: IRI
target class: Address

Enum Type
type: NamedIndividual
type: NodeShape
name: Enum Type
node kind: IRI
target class: EnumType

version
type: NamedIndividual
type: PropertyShape
datatype: string
name: version
node kind: Literal
path: version
pattern: .*

Int Value
type: NamedIndividual
type: NodeShape
name: Int Value
node kind: IRI
target class: IntValue

has parameter type
type: NamedIndividual
type: PropertyShape
class: ParameterType
name: has parameter type
node kind: BlankNodeOrIRI
path: hasParameterType

Interface
type: NamedIndividual
type: NodeShape
name: Interface
node kind: IRI
target class: Interface

has parameter name
type: NamedIndividual
type: PropertyShape
datatype: string
name: has parameter name
node kind: Literal
path: hasParameterName
pattern: .*

simple fixed
type: NamedIndividual
type: PropertyShape
datatype: string
name: simple fixed
node kind: Literal
path: simpleFixed
pattern: .*

Bool
type: NamedIndividual
type: NodeShape
name: Bool
node kind: IRI
target class: Bool

is inmutable
type: NamedIndividual
type: PropertyShape
datatype: boolean
name: is inmutable
node kind: Literal
path: isInmutable
pattern: true|false|0|1

has implementation event
type: NamedIndividual
type: PropertyShape
class: EventSpecification
name: has implementation event
node kind: BlankNodeOrIRI
path: hasImplementationEvent

using for name
type: NamedIndividual
type: PropertyShape
datatype: string
name: using for name
node kind: Literal
path: usingForName
pattern: .*

has implementation modifier
type: NamedIndividual
type: PropertyShape
class: ModifierSpecification
name: has implementation modifier
node kind: BlankNodeOrIRI
path: hasImplementationModifier

Event Specification
type: NamedIndividual
type: NodeShape
name: Event Specification
node kind: IRI
target class: EventSpecification

Parameter Type
type: NamedIndividual
type: NodeShape
name: Parameter Type
node kind: IRI
target class: ParameterType

Type
type: NamedIndividual
type: NodeShape
name: Type
node kind: IRI
target class: Type

has non constant type
type: NamedIndividual
type: PropertyShape
class: ArrayType
class: MapType
class: NonConstantType
name: has non constant type
node kind: BlankNodeOrIRI
path: hasNonConstantType

has parameter type with data location
type: NamedIndividual
type: PropertyShape
class: DataLocation
name: has parameter type with data location
node kind: BlankNodeOrIRI
path: hasParameterTypeWithDataLocation

has constructor arguments
type: NamedIndividual
type: PropertyShape
class: ParameterVariableSpecification
name: has constructor arguments
node kind: BlankNodeOrIRI
path: hasConstructorArguments

Array Value
type: NamedIndividual
type: NodeShape
name: Array Value
node kind: IRI
target class: ArrayValue

Parameter Variable Specification
type: NamedIndividual
type: NodeShape
name: Parameter Variable Specification
node kind: IRI
target class: ParameterVariableSpecification

option
type: NamedIndividual
type: PropertyShape
datatype: string
name: option
node kind: Literal
path: option
pattern: .*

contract name
type: NamedIndividual
type: PropertyShape
datatype: string
name: contract name
node kind: Literal
path: contractName
pattern: .*

has contract abstract function
type: NamedIndividual
type: PropertyShape
class: CodelessFunctionSpecification
name: has contract abstract function
node kind: BlankNodeOrIRI
path: hasContractAbstractFunction

has attribute value
type: NamedIndividual
type: PropertyShape
class: ValueSpecification
name: has attribute value
node kind: BlankNodeOrIRI
path: hasAttributeValue

Parameter Type With Data Location
type: NamedIndividual
type: NodeShape
name: Parameter Type With Data Location
node kind: IRI
target class: ParameterTypeWithDataLocation

Single Memory Type
type: NamedIndividual
type: NodeShape
name: Single Memory Type
node kind: IRI
target class: SingleMemoryType

has index
type: NamedIndividual
type: PropertyShape
datatype: short
max inclusive: 32767
min inclusive: -32768
name: has index
node kind: Literal
path: hasIndex
pattern: [\-+]?[0-9]+

has contract using for directive
type: NamedIndividual
type: PropertyShape
class: UsingForDirective
name: has contract using for directive
node kind: BlankNodeOrIRI
path: hasContractUsingForDirective

has constant type
type: NamedIndividual
type: PropertyShape
class: ConstantType
name: has constant type
node kind: BlankNodeOrIRI
path: hasConstantType

is abstract
type: NamedIndividual
type: PropertyShape
class: Abstract
name: is abstract
node kind: BlankNodeOrIRI
path: isAbstract

Memory Type
type: NamedIndividual
type: NodeShape
name: Memory Type
node kind: IRI
target class: MemoryType

has parameter position
type: NamedIndividual
type: PropertyShape
datatype: short
max inclusive: 32767
min inclusive: -32768
name: has parameter position
node kind: Literal
path: hasParameterPosition
pattern: [\-+]?[0-9]+

Fallback Specification
type: NamedIndividual
type: NodeShape
name: Fallback Specification
node kind: IRI
target class: FallbackSpecification

function code
type: NamedIndividual
type: PropertyShape
datatype: string
name: function code
node kind: Literal
path: functionCode
pattern: .*

has contract constructor
type: NamedIndividual
type: PropertyShape
class: ConstructorSpecification
name: has contract constructor
node kind: BlankNodeOrIRI
path: hasContractConstructor

Int
type: NamedIndividual
type: NodeShape
name: Int
node kind: IRI
target class: Int

has non constant struct attribute
type: NamedIndividual
type: PropertyShape
class: NonConstantAttributeSpecification
name: has non constant struct attribute
node kind: BlankNodeOrIRI
path: hasNonConstantStructAttribute

Elementary Type
type: NamedIndividual
type: NodeShape
name: Elementary Type
node kind: IRI
target class: ElementaryType

constructor code
type: NamedIndividual
type: PropertyShape
datatype: string
name: constructor code
node kind: Literal
path: constructorCode
pattern: .*

Data Location
type: NamedIndividual
type: NodeShape
name: Data Location
node kind: IRI
target class: DataLocation

is anonymous
type: NamedIndividual
type: PropertyShape
datatype: boolean
name: is anonymous
node kind: Literal
path: isAnonymous
pattern: true|false|0|1

has receive behaviour
type: NamedIndividual
type: PropertyShape
class: FRBehaviour
name: has receive behaviour
node kind: BlankNodeOrIRI
path: hasReceiveBehaviour

Bytes
type: NamedIndividual
type: NodeShape
name: Bytes
node kind: IRI
target class: Bytes

has contract fallback
type: NamedIndividual
type: PropertyShape
class: FallbackSpecification
name: has contract fallback
node kind: BlankNodeOrIRI
path: hasContractFallback

Modifier Specification
type: NamedIndividual
type: NodeShape
name: Modifier Specification
node kind: IRI
target class: ModifierSpecification

has fallback visibility
type: NamedIndividual
type: PropertyShape
class: FRBehaviour
name: has fallback visibility
node kind: BlankNodeOrIRI
path: hasFallbackVisibility

has modifier override type
type: NamedIndividual
type: PropertyShape
class: ModifierOverrideTipe
name: has modifier override type
node kind: BlankNodeOrIRI
path: hasModifierOverrideType

Codeless Function Specification
type: NamedIndividual
type: NodeShape
name: Codeless Function Specification
node kind: IRI
target class: CodelessFunctionSpecification

simple string
type: NamedIndividual
type: PropertyShape
datatype: string
name: simple string
node kind: Literal
path: simpleString
pattern: .*

String
type: NamedIndividual
type: NodeShape
name: String
node kind: IRI
target class: String

has event arguments
type: NamedIndividual
type: PropertyShape
class: ParameterVariableSpecification
name: has event arguments
node kind: BlankNodeOrIRI
path: hasEventArguments

Uint
type: NamedIndividual
type: NodeShape
name: Uint
node kind: IRI
target class: Uint

F R Behaviour
type: NamedIndividual
type: NodeShape
name: F R Behaviour
node kind: IRI
target class: FRBehaviour

Modifier Override Specification
type: NamedIndividual
type: NodeShape
name: Modifier Override Specification
node kind: IRI
target class: ModifierOverrideSpecification

fallback code
type: NamedIndividual
type: PropertyShape
datatype: string
name: fallback code
node kind: Literal
path: fallbackCode
pattern: .*

Array Type
type: NamedIndividual
type: NodeShape
name: Array Type
node kind: IRI
target class: ArrayType

event name
type: NamedIndividual
type: PropertyShape
datatype: string
name: event name
node kind: Literal
path: eventName
pattern: .*

has fallback behaviour
type: NamedIndividual
type: PropertyShape
class: FRBehaviour
name: has fallback behaviour
node kind: BlankNodeOrIRI
path: hasFallbackBehaviour

simple int
type: NamedIndividual
type: PropertyShape
datatype: string
name: simple int
node kind: Literal
path: simpleInt
pattern: .*

has modifier arguments
type: NamedIndividual
type: PropertyShape
class: ParameterVariableSpecification
name: has modifier arguments
node kind: BlankNodeOrIRI
path: hasModifierArguments

is defined as
type: NamedIndividual
type: PropertyShape
class: ModifierSpecification
name: is defined as
node kind: BlankNodeOrIRI
path: isDefinedAs

has function behaviour
type: NamedIndividual
type: PropertyShape
class: FunctionBehaviour
name: has function behaviour
node kind: BlankNodeOrIRI
path: hasFunctionBehaviour

simple bytes
type: NamedIndividual
type: PropertyShape
datatype: string
name: simple bytes
node kind: Literal
path: simpleBytes
pattern: .*

receive code
type: NamedIndividual
type: PropertyShape
datatype: string
name: receive code
node kind: Literal
path: receiveCode
pattern: .*

Contract Attribute Specification
type: NamedIndividual
type: NodeShape
name: Contract Attribute Specification
node kind: IRI
target class: ContractAttributeSpecification

has contract attribute
type: NamedIndividual
type: PropertyShape
class: AttributeSpecification
name: has contract attribute
node kind: BlankNodeOrIRI
path: hasContractAttribute

Simple Value Specification
type: NamedIndividual
type: NodeShape
name: Simple Value Specification
node kind: IRI
target class: SimpleValueSpecification

Map Type
type: NamedIndividual
type: NodeShape
name: Map Type
node kind: IRI
target class: MapType

codeless function code
type: NamedIndividual
type: PropertyShape
datatype: string
name: codeless function code
node kind: Literal
path: codelessFunctionCode
pattern: .*

is using library
type: NamedIndividual
type: PropertyShape
class: LibraryImplementation
name: is using library
node kind: BlankNodeOrIRI
path: isUsingLibrary

Abstract
type: NamedIndividual
type: NodeShape
name: Abstract
node kind: IRI
target class: Abstract

Modifier Behaviour
type: NamedIndividual
type: NodeShape
name: Modifier Behaviour
node kind: IRI
target class: ModifierBehaviour

has array dimension
type: NamedIndividual
type: PropertyShape
class: ArrayDimension
name: has array dimension
node kind: BlankNodeOrIRI
path: hasArrayDimension

Array Attribute Specification
type: NamedIndividual
type: NodeShape
name: Array Attribute Specification
node kind: IRI
target class: ArrayAttributeSpecification

Using For Directive
type: NamedIndividual
type: NodeShape
name: Using For Directive
node kind: IRI
target class: UsingForDirective

Non Constant Type
type: NamedIndividual
type: NodeShape
name: Non Constant Type
node kind: IRI
target class: NonConstantType

import
type: NamedIndividual
type: PropertyShape
datatype: string
name: import
node kind: Literal
path: import
pattern: .*

has receive visibility
type: NamedIndividual
type: PropertyShape
class: FRBehaviour
name: has receive visibility
node kind: BlankNodeOrIRI
path: hasReceiveVisibility

simple bool
type: NamedIndividual
type: PropertyShape
datatype: string
name: simple bool
node kind: Literal
path: simpleBool
pattern: .*

memory n
type: NamedIndividual
type: PropertyShape
datatype: short
max inclusive: 32767
min inclusive: -32768
name: memory n
node kind: Literal
path: memoryN
pattern: [\-+]?[0-9]+

inheritance
type: NamedIndividual
type: PropertyShape
datatype: string
name: inheritance
node kind: Literal
path: inheritance
pattern: .*