Package org.openprovenance.prov.validation

Class Expansion

  • public class Expansion
extends Object
    This class checks that 1. All mandatory arguments are present, and have an entry in the corresponding table. Absent mandatory argument results in a malformedExpression, and missing entries are added. 2. All expandable optional arguments have been added, with an entry in the table.
    Author:
    lavm Relation Expandable Non-expandable wasGeneratedBy(id;e,a,t,attrs) id,a,t used(id;a,e,t,attrs) id,e,t wasInformedBy(id;a2,a1,attrs) id wasStartedBy(id;a2,e,a1,t,attrs) id,e,a1,t wasEndedBy(id;a2,e,a1,t,attrs) id,e,a1,t wasInvalidatedBy(id;e,a,t,attrs) id,a,t wasDerivedFrom(id;e2,e1,a,g2,u1,attrs) id,g2,u1 a wasDerivedFrom(id;e2,e1,attrs) id wasAttributedTo(id;e,ag,attr) id wasAssociatedWith(id;a,ag,pl,attrs) id,ag pl actedOnBehalfOf(id;ag2,ag1,a,attrs) id,a wasInfluencedBy(id;e2,e1,attrs) id

    • Constructor Detail

    • Method Detail

      • checkEntityArgument

        public boolean checkEntityArgument​(Config config,
                                   Statement o,
                                   int i)

      • checkAgentArgument

        public boolean checkAgentArgument​(Config config,
                                  Statement o,
                                  int i)

      • checkActivityArgument

        public boolean checkActivityArgument​(Config config,
                                     Statement o,
                                     int i)

      • checkActivityIsDeclared

        public void checkActivityIsDeclared​(QualifiedName activity1)
        Checks an activity is declared. If not, add a declaration in activity table.
        Parameters:
        activity1 - an activity

      • checkEntityIsDeclared

        public void checkEntityIsDeclared​(QualifiedName entity1)
        Checks an entity is declared. If not, add a declaration in entity table.
        Parameters:
        entity1 - an entity id

      • checkAgentIsDeclared

        public void checkAgentIsDeclared​(QualifiedName agent1)
        Checks an agent is declared. If not, add a declaration in agent table.
        Parameters:
        agent1 - an agent id

      • expand_entityArgument

        public void expand_entityArgument​(Config config,
                                  Statement o,
                                  int i)

      • expand_activityArgument

        public void expand_activityArgument​(Config config,
                                    Statement o,
                                    int i)

      • expand_timeArgument

        public void expand_timeArgument​(Config config,
                                Statement o,
                                int i)

      • expand_agentArgument

        public void expand_agentArgument​(Config config,
                                 Statement o,
                                 int i)

      • expand_usageArgument

        public void expand_usageArgument​(Config config,
                                 Statement o,
                                 int i)

      • expand_generationArgument

        public void expand_generationArgument​(Config config,
                                      Statement o,
                                      int i)

      • expansion_specializationOf

        public void expansion_specializationOf​(Config config,
                                       SpecializationOf spec)

      • expansion_mentionOf

        public void expansion_mentionOf​(Config config,
                                MentionOf men)

      • expansion_alternateOf

        public void expansion_alternateOf​(Config config,
                                  AlternateOf alt)

      • expansion_agent

        public void expansion_agent​(Config config,
                            Agent ag)

      • expansion_activity

        public void expansion_activity​(Config config,
                               Activity a)

      • expansion_entity

        public void expansion_entity​(Config config,
                             Entity e)

      • expansion_wasStartedBy

        public void expansion_wasStartedBy​(Config config,
                                   WasStartedBy start)

      • expansion_wasEndedBy

        public void expansion_wasEndedBy​(Config config,
                                 WasEndedBy end)

      • expansion_used

        public void expansion_used​(Config config,
                           Used use)

      • expansion_wasGeneratedBy

        public void expansion_wasGeneratedBy​(Config config,
                                     WasGeneratedBy gen)

      • expansion_wasInvalidatedBy

        public void expansion_wasInvalidatedBy​(Config config,
                                       WasInvalidatedBy inv)

      • expansion_wasDerivedFrom

        public void expansion_wasDerivedFrom​(Config config,
                                     WasDerivedFrom der)

      • expansion_wasAssociatedWith

        public void expansion_wasAssociatedWith​(Config config,
                                        WasAssociatedWith assoc)

      • expansion_actedOnBehalfOf

        public void expansion_actedOnBehalfOf​(Config config,
                                      ActedOnBehalfOf del)

      • expansion_wasAttributedTo

        public void expansion_wasAttributedTo​(Config config,
                                      WasAttributedTo attr)

      • expansion_wasInformedBy

        public void expansion_wasInformedBy​(Config config,
                                    WasInformedBy inf)

      • expansion_wasInfluencedBy

        public void expansion_wasInfluencedBy​(Config config,
                                      WasInfluencedBy infl)

      • expansion_membership

        public void expansion_membership​(Config config,
                                 HadMember mem)

      • malformedExpression

        public <T> void malformedExpression​(T tmp)

      • malformedExpression

        public <T> void malformedExpression​(T tmp,
                                    boolean stop)