Changeset 5129e3e


Ignore:
Timestamp:
Mar 25, 2011 11:07:02 AM (8 years ago)
Author:
Ted Faber <faber@…>
Branches:
abac0-leak, abac0-mei, compt_changes, gec13, master, mei-id, mei-rt0-n, mei_rt0, mei_rt2, mei_rt2_fix_1, meiyap-rt1, meiyap1, rt2, tvf-new-xml
Children:
56ec930
Parents:
d69593c
Message:

Scoping and remove matches.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • java/net/deterlab/abac/Role.java

    rd69593c r5129e3e  
    116116     * exception if the node is not a linking role.
    117117     */
    118     public String A_r1() throws RuntimeException {
     118    String A_r1() throws RuntimeException {
    119119        if (!is_linking())
    120120            throw new RuntimeException("Not a linking role");
     
    126126     * runtime exception if the node is not a linking role.
    127127     */
    128     public String r2() throws RuntimeException {
     128    String r2() throws RuntimeException {
    129129        if (!is_linking())
    130130            throw new RuntimeException("Not a linking role");
     
    145145
    146146    /**
    147      * Returns true if the principal part of the name matches a prefix. This
    148      * is used when filtering graphs.
    149      */
    150     public boolean matches(String prefix) {
    151         return prefix.length() == 0 || m_prefix.equals(prefix);
    152     }
    153 
    154     /**
    155147     * Get the roles that form the prerequisites to this intersection. Throws
    156148     * a runtime exception if this is not an intersection role.
    157149     */
    158     public Role[] prereqs() throws RuntimeException {
     150    Role[] prereqs() throws RuntimeException {
    159151        if (!is_intersection())
    160152            throw new RuntimeException("Not an intersection role.");
Note: See TracChangeset for help on using the changeset viewer.