User Tools

Site Tools


magik-demo:developer:class:web:sessionschema

Session Schema

public class SessionSchema
extends Schema
implements Serializable

SessionSchema extends Schema, with the information of selected foreign keys, finite domain constraints,
and table completeness statements in the active session, also the information of database connection details (only for remote schema).

Class Attributes

private static final long serialVersionUID = 3421018344227757148L;
private java.util.ArrayList<java.lang.String> selectedFK;
private java.util.ArrayList<java.lang.String> selectedFDC;
private java.util.ArrayList<java.lang.String> selectedTC;
private java.util.ArrayList<java.lang.String> selectedQ;
private java.util.ArrayList<Boolean> completenessQ;
private java.util.ArrayList<Long> runningTime;
private boolean validSchema;

Class Constructor

public SessionSchema(String name, 
                     boolean localSchema, 
		     java.util.ArrayList<Relation> relations,
		     java.util.ArrayList<ForeignKey> foreignKeys,
		     java.util.ArrayList<FiniteDomainConstraint> finiteDomainConstraints,
		     java.util.ArrayList<Query> conjuctiveQueries,
		     java.util.ArrayList<TCStatement> tcStatements)

Called by:

  • it.unibz.inf.magik.web.SessionControl

Class Methods

getters and setters methods

public java.util.ArrayList<java.lang.String> getSelectedFK() 
public void setSelectedFK(java.util.ArrayList<java.lang.String> selFK) 
 
public java.util.ArrayList<java.lang.String> getSelectedFDC() 
public void setSelectedFDC(java.util.ArrayList<java.lang.String> selFDC) 
 
public java.util.ArrayList<java.lang.String> getSelectedTC()
public void setSelectedTC(java.util.ArrayList<java.lang.String> selTC) 
 
public java.util.ArrayList<java.lang.String> getSelectedQ() 
public void setSelectedQ(java.util.ArrayList<java.lang.String> selectedQ) 
 
public java.util.ArrayList<Boolean> getCompletenessQ() 
public void setCompletenessQ(java.util.ArrayList<Boolean> completenessQ) 
 
public java.util.ArrayList<Long> getRunningTime() 
public void setRunningTime(java.util.ArrayList<Long> runningTime) 
 
public boolean isValidSchema() 
public void setValidSchema(boolean validSchema)
magik-demo/developer/class/web/sessionschema.txt · Last modified: 2017/07/06 15:24 (external edit)