- implemented method and derivedFrom extensions based on the Annotation class

src/fr/inrialpes/exmo/align/impl/BasicAlignment.java

@@ -57,6 +57,7 @@ import fr.inrialpes.exmo.align.onto.BasicOntology;
  */
 
 public class BasicAlignment implements Alignment {
+
     public void accept(AlignmentVisitor visitor) throws AlignmentException {
 	visitor.visit(this);
     }
@@ -642,14 +643,16 @@ public class BasicAlignment implements Alignment {
 	}
 	String oldid = result.getExtension( Annotations.ALIGNNS, Annotations.ID );
 	if ( oldid != null && !oldid.equals("") ) {
-	    result.setExtension( Annotations.ALIGNNS, "derivedFrom", oldid );
+	    result.setExtension( Annotations.ALIGNNS, Annotations.DERIVEDFROM, oldid );
 	    result.getExtensions().unsetParameter( Annotations.ALIGNNS+Annotations.ID );
 	}
 	String pretty = result.getExtension( Annotations.ALIGNNS, Annotations.PRETTY );
 	if ( pretty != null ){
 	    result.setExtension( Annotations.ALIGNNS, Annotations.PRETTY, pretty+"/inverted" );
 	};
-	result.setExtension( Annotations.ALIGNNS, "method", "http://exmo.inrialpes.fr/align/impl/BasicAlignment#inverse" );
+	result.setExtension( Annotations.ALIGNNS, Annotations.PROVENANCE,
+			     result.getExtension( Annotations.ALIGNNS, Annotations.PROVENANCE )+"" );
+	result.setExtension( Annotations.ALIGNNS, Annotations.METHOD, "http://exmo.inrialpes.fr/align/impl/BasicAlignment#inverse" );
 	for ( Enumeration e = namespaces.getNames() ; e.hasMoreElements(); ){
 	    String label = (String)e.nextElement();
 	    result.setXNamespace( label, getXNamespace( label ) );
@@ -694,10 +697,10 @@ public class BasicAlignment implements Alignment {
 	}
 	String oldid = align.getExtension( Annotations.ALIGNNS, Annotations.ID );
 	if ( oldid != null && !oldid.equals("") ) {
-	    align.setExtension( Annotations.ALIGNNS, "derivedFrom", oldid );
+	    align.setExtension( Annotations.ALIGNNS, Annotations.DERIVEDFROM, oldid );
 	    align.getExtensions().unsetParameter( Annotations.ALIGNNS+Annotations.ID );
 	}
-	align.setExtension( Annotations.ALIGNNS, "method", this.getClass().getName()+"#clone" );
+	align.setExtension( Annotations.ALIGNNS, Annotations.METHOD, this.getClass().getName()+"#clone" );
 	for ( Enumeration e = namespaces.getNames() ; e.hasMoreElements(); ){
 	    String label = (String)e.nextElement();
 	    align.setXNamespace( label, getXNamespace( label ) );