1.1 --- a/src/java/isac/bridge/MathEngine.java	Fri Oct 31 09:00:35 2003 +0100
     1.2 +++ b/src/java/isac/bridge/MathEngine.java	Fri Oct 31 09:27:04 2003 +0100
     1.3 @@ -46,11 +46,11 @@
     1.4      return singleton;
     1.5    }
     1.6  
     1.7 -  public CalcTree newCalculation(CalcHead modSpec) {
     1.8 +  public CalcTree newCalculation(CalcHead calcHead) {
     1.9      CalcTree calcTree = null;
    1.10  	System.out.println("MathEngine.newCalculation: start");
    1.11      try {      
    1.12 -      int id = bridgeRMI.calcTree(modSpec);
    1.13 +      int id = bridgeRMI.calcTree(calcHead);
    1.14        calcTree = new CalcTree(this, id);
    1.15      } catch (RemoteException e) {      
    1.16        e.printStackTrace();
    1.17 @@ -64,13 +64,13 @@
    1.18    	and consistency. 
    1.19    	<p>This Method may change the passed CalcHead object to hint at 
    1.20    	incomplete or contradictory specifications.
    1.21 -  	* @param modSpec The CalcHead to be changed
    1.22 +  	* @param calcHead The CalcHead to be changed
    1.23    	* @return success value: 0 == success, else no success
    1.24    	*/
    1.25 -  public int checkModSpec(CalcHead modSpec) {
    1.26 +  public int checkCalcHead(CalcHead calcHead) {
    1.27      //TODO: implement
    1.28      try {
    1.29 -      return bridgeRMI.checkModSpec(modSpec);
    1.30 +      return bridgeRMI.checkCalcHead(calcHead);
    1.31      } catch (RemoteException e) {
    1.32        // TODO Auto-generated catch block
    1.33        e.printStackTrace();
    1.34 @@ -79,8 +79,8 @@
    1.35    }
    1.36  
    1.37    // Delegated methods from CalcTree/Iterator
    1.38 -  int calcTree(CalcHead modSpec) throws RemoteException {
    1.39 -    return bridgeRMI.calcTree(modSpec);
    1.40 +  int calcTree(CalcHead calcHead) throws RemoteException {
    1.41 +    return bridgeRMI.calcTree(calcHead);
    1.42    }
    1.43  
    1.44    int setNextTactic(int id, Tactic tactic) throws RemoteException {