X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fdatamodel%2FAlignment.java;h=3a1b44a6ef095fba286bf110f71a41acc3f4b0dd;hb=32ce9ddb7ce1a68add53dd81785ae428ca136a83;hp=9b6d729134af4cb92291dbf50ee44ad536d9f970;hpb=c19db28827bb0f5704354e4bfc049855fc3f220a;p=jalview.git diff --git a/src/jalview/datamodel/Alignment.java b/src/jalview/datamodel/Alignment.java index 9b6d729..3a1b44a 100755 --- a/src/jalview/datamodel/Alignment.java +++ b/src/jalview/datamodel/Alignment.java @@ -1,466 +1,738 @@ +/* + * Jalview - A Sequence Alignment Editor and Viewer + * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle + * + * This program is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA + */ package jalview.datamodel; import jalview.analysis.*; + import jalview.util.*; + import java.util.*; + /** Data structure to hold and manipulate a multiple sequence alignment */ public class Alignment implements AlignmentI { + protected Alignment dataset; + protected Vector sequences; + protected Vector groups = new Vector(); + protected Vector superGroup = new Vector(); + protected char gapCharacter = '-'; + protected Provenance provenance; + protected int type = NUCLEOTIDE; + public static final int PROTEIN = 0; + public static final int NUCLEOTIDE = 1; + + /** DOCUMENT ME!! */ + public AlignmentAnnotation[] annotations; + + /** DOCUMENT ME!! */ + public boolean featuresAdded = false; + + /** Make an alignment from an array of Sequences. + * + * @param sequences + */ + public Alignment(SequenceI[] seqs) + { + int i=0; - protected Vector sequences; - protected Vector groups = new Vector(); - public Hashtable[] cons; - protected String gapCharacter = "."; - - /** Make an alignment from an array of Sequences. - * - * @param sequences - */ - public Alignment(SequenceI[] seqs) { - sequences = new Vector(); - - for (int i=0; i < seqs.length; i++) - sequences.addElement(seqs[i]); + if( jalview.util.Comparison.isNucleotide(seqs)) + type = NUCLEOTIDE; + else + type = PROTEIN; - SequenceGroup all = new SequenceGroup(); - all.setName("Group 1"); - groups.addElement(all); + sequences = new Vector(); - int i = 0; + for (i = 0; i < seqs.length; i++) + { + sequences.addElement(seqs[i]); + } - while (i < seqs.length) { - addToGroup(all,seqs[i]); - i++; + getWidth(); } - getWidth(); - } - - public Vector getSequences() { - return sequences; - } - - public SequenceI getSequenceAt(int i) { - if (i < sequences.size()) { - return (SequenceI)sequences.elementAt(i); + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public Vector getSequences() + { + return sequences; } - return null; - } + /** + * DOCUMENT ME! + * + * @param i DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public SequenceI getSequenceAt(int i) + { + if (i < sequences.size()) + { + return (SequenceI) sequences.elementAt(i); + } - /** Adds a sequence to the alignment. Recalculates maxLength and size. - * Should put the new sequence in a sequence group!!! - * - * @param snew - */ - public void addSequence(SequenceI snew) { - sequences.addElement(snew); + return null; + } - ((SequenceGroup)groups.lastElement()).addSequence(snew); - } + /** Adds a sequence to the alignment. Recalculates maxLength and size. + * + * @param snew + */ + public void addSequence(SequenceI snew) + { + sequences.addElement(snew); + } - public void addSequence(SequenceI[] seq) { - for (int i=0; i < seq.length; i++) { - addSequence(seq[i]); + /** + * DOCUMENT ME! + * + * @param seq DOCUMENT ME! + */ + public void addSequence(SequenceI[] seq) + { + for (int i = 0; i < seq.length; i++) + { + addSequence(seq[i]); + } } - } - /** Adds a sequence to the alignment. Recalculates maxLength and size. - * Should put the new sequence in a sequence group!!! - * - * @param snew - */ - public void setSequenceAt(int i,SequenceI snew) { - SequenceI oldseq = getSequenceAt(i); - deleteSequence(oldseq); + /** Adds a sequence to the alignment. Recalculates maxLength and size. + * + * @param snew + */ + public void setSequenceAt(int i, SequenceI snew) + { + SequenceI oldseq = getSequenceAt(i); + deleteSequence(oldseq); - sequences.setElementAt(snew,i); + sequences.setElementAt(snew, i); + } - ((SequenceGroup)groups.lastElement()).addSequence(snew); - } + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public Vector getGroups() + { + return groups; + } - public Vector getGroups() { - return groups; - } + /** Takes out columns consisting entirely of gaps (-,.," ") + */ + public void removeGaps() + { + SequenceI current; + int iSize = getWidth(); - /** Sorts the sequences by sequence group size - largest to smallest. - * Uses QuickSort. - */ - public void sortGroups() { - float[] arr = new float [groups.size()]; - Object[] s = new Object[groups.size()]; + for (int i = 0; i < iSize; i++) + { + boolean delete = true; + + for (int j = 0; j < getHeight(); j++) + { + current = getSequenceAt(j); + + if (current.getLength() > i) + { + /* MC Should move this to a method somewhere */ + if (!jalview.util.Comparison.isGap(current.getCharAt(i))) + { + delete = false; + } + } + } - for (int i=0; i < groups.size(); i++) { - arr[i] = ((SequenceGroup)groups.elementAt(i)).sequences.size(); - s[i] = groups.elementAt(i); + if (delete) + { + deleteColumns(i, i); + iSize--; + i--; + } + } } - QuickSort.sort(arr,s); - - Vector newg = new Vector(groups.size()); + /** Removes a range of columns (start to end inclusive). + * + * @param start Start column in the alignment + * @param end End column in the alignment + */ + public void deleteColumns(int start, int end) + { + deleteColumns(0, getHeight() - 1, start, end); + } - for (int i=groups.size()-1; i >= 0; i--) { - newg.addElement(s[i]); + /** + * DOCUMENT ME! + * + * @param seq1 DOCUMENT ME! + * @param seq2 DOCUMENT ME! + * @param start DOCUMENT ME! + * @param end DOCUMENT ME! + */ + public void deleteColumns(int seq1, int seq2, int start, int end) + { + for (int i = 0; i <= (end - start); i++) + { + for (int j = seq1; j <= seq2; j++) + { + getSequenceAt(j).deleteCharAt(start); + } + } } - groups = newg; - } + /** + * DOCUMENT ME! + * + * @param i DOCUMENT ME! + */ + public void trimLeft(int i) + { + for (int j = 0; j < getHeight(); j++) + { + SequenceI s = getSequenceAt(j); + int newstart = s.findPosition(i); - /** Takes out columns consisting entirely of gaps (-,.," ") - */ - public void removeGaps() - { + s.setStart(newstart); + s.setSequence(s.getSequence().substring(i)); + } + } - SequenceI current; - int iSize = getWidth(); - for (int i=0; i < iSize; i++) + /** + * DOCUMENT ME! + * + * @param i DOCUMENT ME! + */ + public void trimRight(int i) { - boolean delete = true; - for (int j=0; j < getHeight(); j++) - { - current = getSequenceAt(j); - if (current.getLength() > i) + for (int j = 0; j < getHeight(); j++) { - /* MC Should move this to a method somewhere */ - if (current.getCharAt(i)!='-' && current.getCharAt(i)!='.' && current.getCharAt(i)!=' ') - delete = false; + SequenceI s = getSequenceAt(j); + int newend = s.findPosition(i); + s.setEnd(newend); + s.setSequence(s.getSequence().substring(0, i + 1)); } - } + } - if ( delete ) - { - deleteColumns(i,i); - iSize--; - i--; - } + /** + * DOCUMENT ME! + * + * @param s DOCUMENT ME! + */ + public void deleteSequence(SequenceI s) + { + for (int i = 0; i < getHeight(); i++) + { + if (getSequenceAt(i) == s) + { + deleteSequence(i); + } + } } + /** + * DOCUMENT ME! + * + * @param i DOCUMENT ME! + */ + public void deleteSequence(int i) + { + sequences.removeElementAt(i); + } - } + /** + * DOCUMENT ME! + * + * @param threshold DOCUMENT ME! + * @param sel DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public Vector removeRedundancy(float threshold, Vector sel) + { + Vector del = new Vector(); - /** Returns an array of Sequences containing columns - * start to end (inclusive) only. - * - * @param start start column to fetch - * @param end end column to fetch - * @return Array of Sequences, ready to put into a new Alignment - */ - public SequenceI[] getColumns(int start, int end) { - return getColumns(0,getHeight()-1,start,end); - } + for (int i = 1; i < sel.size(); i++) + { + for (int j = 0; j < i; j++) + { + // Only do the comparison if either have not been deleted + if (!del.contains((SequenceI) sel.elementAt(i)) || + !del.contains((SequenceI) sel.elementAt(j))) + { + // use PID instead of Comparison (which is really not pleasant) + float pid = Comparison.PID((SequenceI) sel.elementAt(j), + (SequenceI) sel.elementAt(i)); + + if (pid >= threshold) + { + // Delete the shortest one + if (((SequenceI) sel.elementAt(j)).getSequence().length() > ((SequenceI) sel + .elementAt( + i)).getSequence().length()) + { + del.addElement(sel.elementAt(i)); + } + else + { + del.addElement(sel.elementAt(i)); + } + } + } + } + } - /** Removes a range of columns (start to end inclusive). - * - * @param start Start column in the alignment - * @param end End column in the alignment - */ - public void deleteColumns(int start, int end) { - deleteColumns(0,getHeight()-1,start,end); - } + // Now delete the sequences + for (int i = 0; i < del.size(); i++) + { + deleteSequence((SequenceI) del.elementAt(i)); + } - public void deleteColumns(int seq1, int seq2, int start, int end) { + return del; + } - for (int i=0; i <= (end-start); i++) { - for (int j=seq1; j <= seq2; j++) { - getSequenceAt(j).deleteCharAt(start); - } + /** */ + public SequenceGroup findGroup(int i) + { + return findGroup(getSequenceAt(i)); } - } - public void insertColumns(SequenceI[] seqs, int pos) { - if (seqs.length == getHeight()) { - for (int i=0; i < getHeight();i++) { - String tmp = new String(getSequenceAt(i).getSequence()); - getSequenceAt(i).setSequence(tmp.substring(0,pos) + seqs[i].getSequence() + tmp.substring(pos)); - } + /** */ + public SequenceGroup findGroup(SequenceI s) + { + for (int i = 0; i < this.groups.size(); i++) + { + SequenceGroup sg = (SequenceGroup) groups.elementAt(i); - } - } + if (sg.sequences.contains(s)) + { + return sg; + } + } - public SequenceI[] getColumns(int seq1, int seq2, int start, int end) { - SequenceI[] seqs = new Sequence[(seq2-seq1)+1]; - for (int i=seq1; i<= seq2; i++ ) { - seqs[i] = new Sequence(getSequenceAt(i).getName(), - getSequenceAt(i).getSequence().substring(start,end), - getSequenceAt(i).findPosition(start), - getSequenceAt(i).findPosition(end)); + return null; } - return seqs; - } - public void trimLeft(int i) { - for (int j = 0;j< getHeight();j++) { + /** + * DOCUMENT ME! + * + * @param s DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public SequenceGroup[] findAllGroups(SequenceI s) + { + Vector temp = new Vector(); - SequenceI s = getSequenceAt(j); - int newstart = s.findPosition(i); + int gSize = groups.size(); + for (int i = 0; i < gSize; i++) + { + SequenceGroup sg = (SequenceGroup) groups.elementAt(i); + if(sg==null || sg.sequences==null) + { + this.deleteGroup(sg); + gSize--; + continue; + } - s.setStart(newstart); - s.setSequence(s.getSequence().substring(i)); + if (sg.sequences.contains(s)) + { + temp.addElement(sg); + } + } + SequenceGroup[] ret = new SequenceGroup[temp.size()]; + + for (int i = 0; i < temp.size(); i++) + { + ret[i] = (SequenceGroup) temp.elementAt(i); + } + + return ret; } - } - public void trimRight(int i) { - for (int j = 0;j< getHeight();j++) { - SequenceI s = getSequenceAt(j); - int newend = s.findPosition(i); + /** + * DOCUMENT ME! + * + * @param sg DOCUMENT ME! + */ + public void addSuperGroup(SuperGroup sg) + { + superGroup.addElement(sg); + } - s.setEnd(newend); - s.setSequence(s.getSequence().substring(0,i+1)); + /** + * DOCUMENT ME! + * + * @param sg DOCUMENT ME! + */ + public void removeSuperGroup(SuperGroup sg) + { + superGroup.removeElement(sg); } - } - public void deleteSequence(SequenceI s) - { - for (int i=0; i < getHeight(); i++) - if (getSequenceAt(i) == s) - deleteSequence(i); - } + /** + * DOCUMENT ME! + * + * @param sg DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public SuperGroup getSuperGroup(SequenceGroup sg) + { + for (int i = 0; i < this.superGroup.size(); i++) + { + SuperGroup temp = (SuperGroup) superGroup.elementAt(i); - public void deleteSequence(int i) - { - sequences.removeElementAt(i); - } + if (temp.sequenceGroups.contains(sg)) + { + return temp; + } + } + return null; + } - public Vector removeRedundancy(float threshold, Vector sel) { - Vector del = new Vector(); + /** */ + public void addGroup(SequenceGroup sg) + { + if (!groups.contains(sg)) + { + groups.addElement(sg); + } + } - for (int i=1; i < sel.size(); i++) { - for (int j = 0; j < i; j++) { - // Only do the comparison if either have not been deleted - if (!del.contains((SequenceI)sel.elementAt(i)) || - !del.contains((SequenceI)sel.elementAt(j))) { + /** + * DOCUMENT ME! + */ + public void deleteAllGroups() + { + groups.removeAllElements(); + superGroup.removeAllElements(); - float pid = Comparison.compare((SequenceI)sel.elementAt(j), - (SequenceI)sel.elementAt(i)); + int i = 0; - if (pid >= threshold) { - // Delete the shortest one - if (((SequenceI)sel.elementAt(j)).getSequence().length() > - ((SequenceI)sel.elementAt(i)).getSequence().length()) { - del.addElement(sel.elementAt(i)); - System.out.println("Deleting sequence " + ((SequenceI)sel.elementAt(i)).getName()); - } else { - del.addElement(sel.elementAt(i)); - System.out.println("Deleting sequence " + ((SequenceI)sel.elementAt(i)).getName()); - } - } + while (i < sequences.size()) + { + SequenceI s = getSequenceAt(i); + s.setColor(java.awt.Color.white); + i++; } - } } - // Now delete the sequences - for (int i=0; i < del.size(); i++) { - System.out.println("Deleting sequence " + ((SequenceI)del.elementAt(i)).getName()); - deleteSequence((SequenceI)del.elementAt(i)); + /** */ + public void deleteGroup(SequenceGroup g) + { + if (groups.contains(g)) + { + groups.removeElement(g); + } } - return del; - } + /** */ + public SequenceI findName(String name) + { + int i = 0; - public void sortByPID(SequenceI s) { + while (i < sequences.size()) + { + if (getSequenceAt(i).getName().equals(name)) + { + return getSequenceAt(i); + } - float scores[] = new float[getHeight()]; - SequenceI seqs[] = new SequenceI[getHeight()]; + i++; + } - for (int i = 0; i < getHeight(); i++) { - scores[i] = Comparison.compare(getSequenceAt(i),s); - seqs[i] = getSequenceAt(i); + return null; } - QuickSort.sort(scores,0,scores.length-1,seqs); - int len = 0; + /** */ + public int findIndex(SequenceI s) + { + int i = 0; + + while (i < sequences.size()) + { + if (s == getSequenceAt(i)) + { + return i; + } + + i++; + } - if (getHeight()%2 == 0) { - len = getHeight()/2; - } else { - len = (getHeight()+1)/2; + return -1; } - for (int i = 0; i < len; i++) { - SequenceI tmp = seqs[i]; - sequences.setElementAt(seqs[getHeight()-i-1],i); - sequences.setElementAt(tmp,getHeight()-i-1); + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public int getHeight() + { + return sequences.size(); } - } - public void sortByID() { - String ids[] = new String[getHeight()]; - SequenceI seqs[] = new SequenceI[getHeight()]; + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public int getWidth() + { + int maxLength = -1; + + for (int i = 0; i < sequences.size(); i++) + { + if (getSequenceAt(i).getLength() > maxLength) + { + maxLength = getSequenceAt(i).getLength(); + } + } - for (int i = 0; i < getHeight(); i++) { - ids[i] = getSequenceAt(i).getName(); - seqs[i] = getSequenceAt(i); + return maxLength; } - QuickSort.sort(ids,seqs); + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public int getMaxIdLength() + { + int max = 0; + int i = 0; - int len = 0; + while (i < sequences.size()) + { + SequenceI seq = getSequenceAt(i); + String tmp = seq.getName() + "/" + seq.getStart() + "-" + + seq.getEnd(); - if (getHeight()%2 == 0) { - len = getHeight()/2; - } else { - len = (getHeight()+1)/2; - System.out.println("Sort len is odd = " + len); - } - for (int i = 0; i < len; i++) { - System.out.println("Swapping " + seqs[i].getName() + " and " + seqs[getHeight()-i-1].getName()); - SequenceI tmp = seqs[i]; - sequences.setElementAt(seqs[getHeight()-i-1],i); - sequences.setElementAt(tmp,getHeight()-i-1); - } - } + if (tmp.length() > max) + { + max = tmp.length(); + } - /** */ - public SequenceGroup findGroup(int i) { - return findGroup(getSequenceAt(i)); - } + i++; + } + + return max; + } - /** */ - public SequenceGroup findGroup(SequenceI s) { - for (int i = 0; i < this.groups.size();i++) + /** + * DOCUMENT ME! + * + * @param gc DOCUMENT ME! + */ + public void setGapCharacter(char gc) { - SequenceGroup sg = (SequenceGroup)groups.elementAt(i); - if (sg.sequences.contains(s)) - return sg; + gapCharacter = gc; + for (int i = 0; i < sequences.size(); i++) + { + Sequence seq = (Sequence) sequences.elementAt(i); + seq.sequence = seq.sequence.replace('.', gc); + seq.sequence = seq.sequence.replace('-', gc); + seq.sequence = seq.sequence.replace(' ', gc); + } } - return null; - } - /** */ - public void addToGroup(SequenceGroup g, SequenceI s) { - if (!(g.sequences.contains(s))) { - g.sequences.addElement(s); - } - } - /** */ - public void removeFromGroup(SequenceGroup g,SequenceI s) { - if (g != null && g.sequences != null) { - if (g.sequences.contains(s)) { - g.sequences.removeElement(s); - if (g.sequences.size() == 0) { - groups.removeElement(g); - } - } + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public char getGapCharacter() + { + return gapCharacter; } - } - - /** */ - public void addGroup(SequenceGroup sg) { - groups.addElement(sg); - } - - /** */ - public SequenceGroup addGroup() { - SequenceGroup sg = new SequenceGroup(); - groups.addElement(sg); - return sg; - } - - /** */ - public void deleteGroup(SequenceGroup g) { - if (groups.contains(g)) { - groups.removeElement(g); - } - } - - /** */ - public SequenceI findName(String name) { - int i = 0; - while (i < sequences.size()) { - SequenceI s = getSequenceAt(i); - if (s.getName().equals(name)) - return s; - - i++; - } - return null; - } - - /** */ - public SequenceI findbyDisplayId(String name) { - int i = 0; - while (i < sequences.size()) { - SequenceI s = getSequenceAt(i); - if (s.getDisplayId().equals(name)) - return s; - - i++; - } - return null; - } - - /** */ - public int findIndex(SequenceI s) { - int i=0; - while (i < sequences.size()) { - if (s == getSequenceAt(i)) { - return i; - } - i++; + + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public Vector getAAFrequency() + { + return AAFrequency.calculate(sequences, 0, getWidth()); } - return -1; - } - public int getHeight() { - return sequences.size(); - } + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public boolean isAligned() + { + int width = getWidth(); + for (int i = 0; i < sequences.size(); i++) + { + if (getSequenceAt(i).getLength() != width) + { + return false; + } + } - public int getWidth() - { - int maxLength = -1; - for (int i = 0; i < sequences.size(); i++) - { - if (getSequenceAt(i).getLength() > maxLength) - maxLength = getSequenceAt(i).getLength(); + return true; } - return maxLength; - } + /** + * DOCUMENT ME! + * + * @param aa DOCUMENT ME! + */ + public void deleteAnnotation(AlignmentAnnotation aa) + { + int aSize = 1; + if (annotations != null) + { + aSize = annotations.length; + } - public int getMaxIdLength() { - int max = 0; - int i = 0; + AlignmentAnnotation[] temp = new AlignmentAnnotation[aSize - 1]; - while (i < sequences.size()) { - SequenceI seq = getSequenceAt(i); - String tmp = seq.getName() + "/" + seq.getStart() + "-" + seq.getEnd(); + int tIndex = 0; - if (tmp.length() > max) { - max = tmp.length(); - } + for (int i = 0; i < aSize; i++) + { + if (annotations[i] == aa) + { + continue; + } + + temp[tIndex] = annotations[i]; + tIndex++; + } - i++; + annotations = temp; } - return max; - } - public void setGapCharacter(String gc) { - gapCharacter = gc; - } + /** + * DOCUMENT ME! + * + * @param aa DOCUMENT ME! + */ + public void addAnnotation(AlignmentAnnotation aa) + { + int aSize = 1; - public String getGapCharacter() { - return gapCharacter; - } + if (annotations != null) + { + aSize = annotations.length + 1; + } - public Vector getAAFrequency() - { - return AAFrequency.calculate(sequences, 0, getWidth()); - } -} + AlignmentAnnotation[] temp = new AlignmentAnnotation[aSize]; + int i = 0; + if (aSize > 1) + { + for (i = 0; i < (aSize - 1); i++) + { + temp[i] = annotations[i]; + } + } + temp[i] = aa; + annotations = temp; + } + /** + * DOCUMENT ME! + * + * @return DOCUMENT ME! + */ + public AlignmentAnnotation[] getAlignmentAnnotation() + { + return annotations; + } + public void setNucleotide(boolean b) + { + if(b) + type = NUCLEOTIDE; + else + type = PROTEIN; + } + public boolean isNucleotide() + { + if(type==NUCLEOTIDE) + return true; + else + return false; + } + + public void setDataset(Alignment data) + { + if(dataset==null && data==null) + { + // Create a new dataset for this alignment. + // Can only be done once, if dataset is not null + // This will not be performed + Sequence[] seqs = new Sequence[getHeight()]; + for (int i = 0; i < getHeight(); i++) + { + + seqs[i] = new Sequence(getSequenceAt(i).getDisplayId(true), + AlignSeq.extractGaps( + jalview.util.Comparison.GapChars, + getSequenceAt(i).getSequence() + ), + getSequenceAt(i).getStart(), + getSequenceAt(i).getEnd()); + getSequenceAt(i).setDatasetSequence(seqs[i]); + } + + dataset = new Alignment(seqs); + } + else if(dataset==null && data!=null) + { + dataset = data; + } + } + + public Alignment getDataset() + { + return dataset; + } + + public void setProvenance(Provenance prov) + { + provenance = prov; + } + public Provenance getProvenance() + { + return provenance; + } +}