Package org.openprovenance.prov.validation

Class Expansion

java.lang.Object

org.openprovenance.prov.validation.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 Summary

Constructors

Constructor	Description
Expansion(Indexer indexer, Config config, Types typeChecker)

Method Summary

Modifier and Type	Method	Description
boolean	checkActivityArgument(Config config, Statement o, int i)
void	checkActivityIsDeclared(QualifiedName activity1)	Checks an activity is declared.
boolean	checkAgentArgument(Config config, Statement o, int i)
void	checkAgentIsDeclared(QualifiedName agent1)	Checks an agent is declared.
boolean	checkEntityArgument(Config config, Statement o, int i)
void	checkEntityIsDeclared(QualifiedName entity1)	Checks an entity is declared.
void	expand_activityArgument(Config config, Statement o, int i)
void	expand_agentArgument(Config config, Statement o, int i)
void	expand_entityArgument(Config config, Statement o, int i)
void	expand_generationArgument(Config config, Statement o, int i)
void	expand_timeArgument(Config config, Statement o, int i)
void	expand_usageArgument(Config config, Statement o, int i)
void	expansion(Config config, List<Statement> records)
void	expansion_actedOnBehalfOf(Config config, ActedOnBehalfOf del)
void	expansion_activity(Config config, Activity a)
void	expansion_agent(Config config, Agent ag)
void	expansion_alternateOf(Config config, AlternateOf alt)
void	expansion_entity(Config config, Entity e)
void	expansion_membership(Config config, HadMember mem)
void	expansion_mentionOf(Config config, MentionOf men)
void	expansion_specializationOf(Config config, SpecializationOf spec)
void	expansion_used(Config config, Used use)
void	expansion_wasAssociatedWith(Config config, WasAssociatedWith assoc)
void	expansion_wasAttributedTo(Config config, WasAttributedTo attr)
void	expansion_wasDerivedFrom(Config config, WasDerivedFrom der)
void	expansion_wasEndedBy(Config config, WasEndedBy end)
void	expansion_wasGeneratedBy(Config config, WasGeneratedBy gen)
void	expansion_wasInfluencedBy(Config config, WasInfluencedBy infl)
void	expansion_wasInformedBy(Config config, WasInformedBy inf)
void	expansion_wasInvalidatedBy(Config config, WasInvalidatedBy inv)
void	expansion_wasStartedBy(Config config, WasStartedBy start)
MalformedStatements	getMalformed()
<T> void	malformedExpression(T tmp)
<T> void	malformedExpression(T tmp, boolean stop)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Expansion

public Expansion(Indexer indexer,
 Config config,
 Types typeChecker)

Method Details

expansion

public void expansion(Config config,
 List<Statement> records)

getMalformed

public MalformedStatements getMalformed()

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)