source: fedd/abac-src/atnvis/src/com/algomagic/atn/PanelUpdate.java @ 8780cbec

axis_examplecompt_changesinfo-opsversion-1.30version-2.00version-3.01version-3.02
Last change on this file since 8780cbec was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham

  • Property mode set to 100644
File size: 1.4 KB
Line 
1package com.algomagic.atn;
2
3import java.util.*;
4
5public class PanelUpdate {
6    BatchGraphUpdate _graphUpdate;
7    int _tab;
8    int _side;
9    Collection _evidence;
10    boolean _undo;
11    boolean _raise;
12    boolean _add;
13    boolean _hl;
14
15
16    public PanelUpdate( BatchGraphUpdate graphUpdate, int side, int tab, Collection evidence, boolean raise, boolean add, boolean hl ) {
17        _graphUpdate = graphUpdate;
18        _tab = tab;
19        _evidence = evidence;
20        _side = side;
21        _undo = false;
22        _raise = raise;
23        _add = add;
24        _hl = hl;
25    } 
26
27    public void apply( VisualizationPanel visPanel ) {
28        if( _undo ) {
29            _graphUpdate.undo( );
30            if( _evidence != null && _add ) {
31                visPanel.removeCredentials( _evidence, _tab );
32            }
33
34        } else {
35//          if( _raise ) {
36//              visPanel.setRaised( _tab );
37//          }
38
39            visPanel.setRaised( _tab );
40
41            _graphUpdate.apply( );
42
43            if( _evidence != null && _hl ) {
44                visPanel.highlightCredentials( _evidence, _tab );
45            }
46
47            if( _evidence != null && _add ) {
48                visPanel.addCredentials( _evidence, _tab );
49            }
50           
51
52//          if( _evidence != null && _tab >= 0 ) {
53// //           if( _tab != 0 ) {
54// //               visPanel.addCredentials( _evidence, _tab );
55// //           }
56
57//              visPanel.highlightCredentials( _evidence, _tab );
58//          }
59
60
61        }
62    }
63
64    public void setUndo( boolean undo ) {
65        _undo = undo;
66    }
67
68    public int getSide( ) {
69        return _side;
70    }
71
72
73    public boolean isEmpty( ) {
74        return _graphUpdate.isEmpty( );
75    }
76
77
78
79}
Note: See TracBrowser for help on using the repository browser.