v2.4 source files

Author: kevinlano

AbsMorphism.class

@@ -3,7 +3,7 @@
 
 /* package: B */ 
 /******************************
-* Copyright (c) 2003,2019 Kevin Lano
+* Copyright (c) 2003--2024 Kevin Lano
 * This program and the accompanying materials are made available under the
 * terms of the Eclipse Public License 2.0 which is available at
 * http://www.eclipse.org/legal/epl-2.0
@@ -13,12 +13,12 @@
 
 public class BOp extends ModelElement
 { private String result = null;
-  private List params = new Vector(); // of String
+  private Vector params = new Vector(); // of String
   private BExpression pre;
   private BStatement code;
   private String signature; 
 
-  public BOp(String nme, String res, List pars, 
+  public BOp(String nme, String res, Vector pars, 
              BExpression p, BStatement s)
   { super(nme);
     result = res;
@@ -36,9 +36,12 @@ public String getSignature()
   public String getResult()
   { return result; } 
 
-  public List getParameters()
+  public Vector getParameters()
   { return params; } 
 
+  public void addParameter(Attribute att)
+  { params.add(att.getName()); } 
+
   public BExpression getPre()
   { return pre; } 
 
@@ -48,6 +51,12 @@ public void addPre(BExpression p)
   public BStatement getCode()
   { return code; } 
 
+  public Type getType()
+  { return null; } 
+
+  public void setType(Type t)
+  { } 
+
   public void generateJava(java.io.PrintWriter out)  // not used
   { out.println("  public void " + getName() + "()"); } 
 

Association.class

@@ -1,7 +1,7 @@
 import java.util.Vector;
 
 /******************************
-* Copyright (c) 2003,2019 Kevin Lano
+* Copyright (c) 2003--2024 Kevin Lano
 * This program and the accompanying materials are made available under the
 * terms of the Eclipse Public License 2.0 which is available at
 * http://www.eclipse.org/legal/epl-2.0
@@ -20,6 +20,18 @@ public BTypeDef(String name, Vector vals)
   public void generateJava(java.io.PrintWriter out) 
   { out.print(getName()); }  // not used. 
 
+  public Vector getParameters()
+  { return new Vector(); } 
+
+  public void addParameter(Attribute att)
+  { } 
+
+  public Type getType()
+  { return null; } 
+
+  public void setType(Type t)
+  { } 
+
   public String toString()
   { String res = getName();
     if (values == null)

Attribute.class

@@ -2,7 +2,7 @@
 import java.io.*; 
 
 /******************************
-* Copyright (c) 2003,2019 Kevin Lano
+* Copyright (c) 2003--2024 Kevin Lano
 * This program and the accompanying materials are made available under the
 * terms of the Eclipse Public License 2.0 which is available at
 * http://www.eclipse.org/legal/epl-2.0
@@ -23,5 +23,17 @@ public BidirectionalAssociation(Entity e1, Entity e2, int c1, int c2,
 
   public void generateJava(PrintWriter out) { } 
 
+  public Vector getParameters()
+  { return new Vector(); } 
+
+  public void addParameter(Attribute att)
+  { } 
+
+  public Type getType()
+  { return null; } 
+
+  public void setType(Type t)
+  { } 
+
 }