Sha256: 707af67df559f89d58b3dda6f2db0a1430cd14f8f76db1cfff6fa6700e4ec50f

Contents?: true

Size: 213 Bytes

Versions: 7

Compression:

Stored size: 213 Bytes

Contents

\* Owner is validated if 'ValidOwner' exists having the same name as the 'owner' 
TagOwnerValidated( owner ) == \E existing_tag \in v_tags: existing_tag.owner.name = owner.name /\ ValidOwner( existing_tag.owner )

Version data entries

7 entries across 7 versions & 1 rubygems

Version Path
tla-sbuilder-0.3.9 src/pet/operator_tag_owner_validated.tla
tla-sbuilder-0.3.8 src/pet/operator_tag_owner_validated.tla
tla-sbuilder-0.3.7 src/pet/operator_tag_owner_validated.tla
tla-sbuilder-0.3.4 src/pet/operator_tag_owner_validated.tla
tla-sbuilder-0.2.2 src/pet/operator_tag_owner_validated.tla
tla-sbuilder-0.2.1 src/pet/operator_tag_owner_validated.tla
tla-sbuilder-0.1.0 src/pet/operator_tag_owner_validated.tla