Changeset 2243

Show
Ignore:
Timestamp:
06/23/08 10:37:53 (4 months ago)
Author:
dsugar
Message:

fix error generation - wrong 'toString' function was being used - essentially a copy-paste error

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • trunk/framework-plugin/src/com/tresys/framework/compiler/policy/PolicyValidator.java

    r2144 r2243  
    8888        public void Visit (Enter i_enter) 
    8989        { 
    90                 String key = toString(); 
     90                String key = i_enter.toString(); 
    9191                 
    9292                IDomain domStart = i_enter.getStartDomain (); 
     
    266266                        } 
    267267                         
    268                         m_errHandler.Error ("Access from parent not used by any children", Token, ErrorHandler.ERROR_UNUSED_ACCESS, toString()); 
     268                        m_errHandler.Error ("Access from parent not used by any children", Token, ErrorHandler.ERROR_UNUSED_ACCESS, i_access.toString()); 
    269269                        return ; 
    270270                } 
     
    283283                                                + "\"'s access to interface \"" 
    284284                                                + i_access.GetBaseResource().getName() + "\"", Token, 
    285                                                 ErrorHandler.ERROR_INVALID_ACCESS, toString()); 
     285                                                ErrorHandler.ERROR_INVALID_ACCESS, i_access.toString()); 
    286286                                return; 
    287287                        } 
     
    295295                                                + "\"'s access to resource \"" 
    296296                                                + i_access.GetBaseResource().getName() + "\"", Token, 
    297                                                 ErrorHandler.ERROR_INVALID_ACCESS, toString ()); 
     297                                                ErrorHandler.ERROR_INVALID_ACCESS, i_access.toString ()); 
    298298                                return; 
    299299                        } 
     
    305305                                                + parentToResource.m_bool 
    306306                                                + ", child permission must also be wrapped by the same boolean", Token, 
    307                                                 ErrorHandler.ERROR_MISSING_BOOLEAN, toString()); 
     307                                                ErrorHandler.ERROR_MISSING_BOOLEAN, i_access.toString()); 
    308308                                return; 
    309309                        } 
     
    381381                        { 
    382382                                m_errHandler.Error("Access from parent not used by any children", Token,  
    383                                         ErrorHandler.ERROR_UNUSED_ACCESS, toString()); 
     383                                        ErrorHandler.ERROR_UNUSED_ACCESS, i_access.toString()); 
    384384                                return; 
    385385                        } 
     
    390390                        m_errHandler.Warning ("No RDef in the resource " + i_access.getResource().getName() 
    391391                                + " defines a " + i_access.getVerb () + " access", Token, 
    392                                 ErrorHandler.ERROR_INVALID_ACCESS, toString()); 
     392                                ErrorHandler.ERROR_INVALID_ACCESS, i_access.toString()); 
    393393                } 
    394394                // If the domain and the resource have the same parent, there are no constraints 
     
    407407                                                + "\"'s access to resource \"" 
    408408                                                + i_access.getResource ().getName() + "\"", Token, 
    409                                                 ErrorHandler.ERROR_INVALID_ACCESS, toString()); 
     409                                                ErrorHandler.ERROR_INVALID_ACCESS, i_access.toString()); 
    410410                                return; 
    411411                        } 
     
    418418                                                + "\"'s access to resource \"" 
    419419                                                + i_access.getResource ().getName() + "\"", Token, 
    420                                                 ErrorHandler.ERROR_CHILD_EXCEED_ACCESS, toString()); 
     420                                                ErrorHandler.ERROR_CHILD_EXCEED_ACCESS, i_access.toString()); 
    421421                                return; 
    422422                        } 
     
    425425                        { 
    426426                                m_errHandler.Error("Constraint violation: child's access: " 
    427                                         + toString().replace(Utility.DELIM, ' ') 
     427                                        + i_access.toString().replace(Utility.DELIM, ' ') 
    428428                                        + ", Parent's access: " 
    429429                                        + parentToResource.toString().replace(Utility.DELIM, ' '), Token); 
     
    438438                                        + parentToResource.m_bool 
    439439                                        + ", child permission must also be wrapped by the same boolean", Token, 
    440                                         ErrorHandler.ERROR_MISSING_BOOLEAN, toString ()); 
     440                                        ErrorHandler.ERROR_MISSING_BOOLEAN, i_access.toString ()); 
    441441                                return; 
    442442                        } 
     
    538538                } 
    539539        } 
    540  
    541540}