Changeset 1940

Show
Ignore:
Timestamp:
02/18/08 15:23:31 (9 months ago)
Author:
dsugar
Message:

added some needed linkage files for my testing
some cleanup

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • branches/dictionary_changes/resources/dictionary/dictionary.fdic

    r1939 r1940  
    225225        } 
    226226        write { 
    227                 default { create write } 
     227                default { write } 
    228228                write 
    229229                [desc: "Write to a named pipe"] 

  • branches/dictionary_changes/resources/link/etc_files.flnk

    r1769 r1940  
    1 baseresource etc_files { 
    2         read { 
     1baseresource etc_files  
     2{ 
     3        read  
     4        { 
    35                default { read } 
    46                read  

  • branches/dictionary_changes/resources/link/read_all_files.flnk

    r1265 r1940  
    11ability read_all_files  
    2        [ desc: "Read all files"] 
     2[ desc: "Read all files"] 
    33{ 
    44        files_read_all_files($) 

  • branches/dictionary_changes/resources/link/unconfined.flnk

    r1718 r1940  
    1 basedomain unconfined { 
     1basedomain unconfined  
     2[desc : "Access to the unconfined domain - only available in targeted"] 
     3{ 
    24        type unconfined_t; 
    35        role system_r; 

  • branches/dictionary_changes/resources/link/user.flnk

    r1263 r1940  
    1 basedomain user { 
     1basedomain user  
     2[desc: "reference generic user"] 
     3{ 
    24        type user_t; 
    35        role user_r; 

  • branches/dictionary_changes/src/com/tresys/framework/compiler/dictionary/Target.java

    r1938 r1940  
    2121        public final static int other_write = 3; 
    2222        public final static int other_readwrite = 4; 
    23          
    2423         
    2524        public final static String TARGET_SELF = "self"; 

  • branches/dictionary_changes/src/com/tresys/framework/compiler/translator/TranslatorSELinux.java

    r1939 r1940  
    452452                        else  
    453453                        { 
    454                                 m_bufferPolicy.println (((Resource)i_access.getResource()).GetTypeWithDictionaryObject(axxDefn.getAccessDefnGroup().getRdef().GetName()) + ")"); 
     454                                Resource resource = (Resource) i_access.getResource (); 
     455 
     456                                m_bufferPolicy.println ((resource).GetTypeWithDictionaryObject(axxDefn.getAccessDefnGroup().getRdef().GetName()) + ")"); 
     457                                generateParentSearchPerms (i_access.getDomain (), resource, m_bufferPolicy); 
    455458                        } 
    456459                         
    …… 
    528531                                        m_bufferPolicy.println("\t\ttype " + sTarget + ";"); 
    529532                                        m_bufferPolicy.println("\t')"); 
    530                                         m_bufferPolicy.println("\tfiletrans_add_pattern(" + sProcessType + ", " + sTarget  
     533                                        m_bufferPolicy.println("\tfiletrans_pattern(" + sProcessType + ", " + sTarget  
    531534                                                + ", " + sResType + ", " + sObjClass + ");"); 
    532535                                        m_bufferPolicy.println("')"); 
    …… 
    621624                                return; 
    622625 
    623                         Iterator itr2 = systemResources.iterator(); 
    624                         while(itr2.hasNext())  
     626                        for (Iterator itr2 = systemResources.iterator(); itr2.hasNext(); )  
    625627                        { 
    626628                                SystemResource sr = (SystemResource) itr2.next(); 
    …… 
    709711        private void makeAllows(IDomain source, Component target, Map permVectors, PrintStream policyStream)  
    710712        { 
    711                 Iterator permList = permVectors.entrySet().iterator(); 
    712                 while(permList.hasNext())  
     713                for (Iterator permList = permVectors.entrySet().iterator(); permList.hasNext(); )  
    713714                { 
    714715                        Map.Entry vector = (Map.Entry) permList.next(); 
    715716 
    716717                        String classAndPerms = vector.getKey() + " { "; 
    717                         Iterator perms = ((PermVector) vector.getValue()).getPermissions().iterator(); 
    718                         while(perms.hasNext())  
     718                        for (Iterator perms = ((PermVector) vector.getValue()).getPermissions().iterator(); perms.hasNext(); )  
    719719                        { 
    720720                                classAndPerms += (String) perms.next() + " "; 

  • branches/dictionary_changes/src/com/tresys/framework/plugin/wizards/shape/BaseItemPropertyPage.java

    r1885 r1940  
    1111package com.tresys.framework.plugin.wizards.shape; 
    1212 
    13 import java.util.Iterator; 
    14 import java.util.Vector; 
    15  
     13import org.eclipse.jface.viewers.ArrayContentProvider; 
     14import org.eclipse.jface.viewers.ComboViewer; 
     15import org.eclipse.jface.viewers.ISelection; 
     16import org.eclipse.jface.viewers.ISelectionChangedListener; 
     17import org.eclipse.jface.viewers.IStructuredSelection; 
     18import org.eclipse.jface.viewers.SelectionChangedEvent; 
    1619import org.eclipse.jface.wizard.WizardPage; 
    1720import org.eclipse.osgi.util.NLS; 
    1821import org.eclipse.swt.SWT; 
    19 import org.eclipse.swt.events.ModifyEvent; 
    20 import org.eclipse.swt.events.ModifyListener; 
    2122import org.eclipse.swt.layout.GridData; 
    2223import org.eclipse.swt.layout.GridLayout; 
    23 import org.eclipse.swt.widgets.Combo; 
    2424import org.eclipse.swt.widgets.Composite; 
    2525import org.eclipse.swt.widgets.Label; 
    2626 
     27import com.tresys.framework.compiler.dictionary.INameValue; 
     28import com.tresys.framework.compiler.dictionary.NameValuePair; 
    2729import com.tresys.framework.compiler.policy.Component; 
    2830import com.tresys.framework.plugin.editor.policy.graphic.model.IBaseShape; 
    …… 
    3133        extends WizardPage 
    3234{ 
    33         private Combo m_combo; 
     35        private ComboViewer m_combo; 
    3436        private IBaseShape m_shape; 
     37        protected Label m_description; 
    3538 
    36         private ModifyListener m_modifyText = new ModifyListener()  
    37         { 
    38                 public void modifyText(ModifyEvent e)  
    39                 { 
    40                         DialogChanged(); 
    41                 } 
    42         }; 
    4339         
    4440        public BaseItemPropertyPage(IBaseShape i_shape) 
    …… 
    5248        { 
    5349                Composite composite = new Composite(parent, SWT.NONE); 
    54                 GridLayout layout = new GridLayout(); 
    55                 composite.setLayout(layout); 
    56                 layout.numColumns = 2; 
    57                 layout.verticalSpacing = 7; 
    58                  
    59                 //Setting up entrypoint drop-down menu 
    60                 Label label = new Label(composite, SWT.NULL); 
    61                 label.setText(NLS.bind(Messages.BasePropertyPage_item_label, m_shape.getType())); 
    62                  
    63                 GridData data = new GridData(); 
    64                 data.widthHint = 150; 
    65                 m_combo = new Combo (composite, SWT.DROP_DOWN | SWT.READ_ONLY); 
    66  
    67                 //Get the base domains for the drop-down menu 
    68                 Vector items = m_shape.getAvailableBaseItems(); 
    69  
    70                 int i = 0; 
    71                 for (Iterator iter = items.iterator(); iter.hasNext(); i++) 
    7250                { 
    73                         Component item = (Component) iter.next (); 
    74                         m_combo.add (item.getName()); 
    75                         m_combo.setData(item.getName(), item); 
    76                          
    77                         if (m_shape.getComponent().getName().equals(item.getName())) 
    78                                 m_combo.select(i); 
     51                        GridLayout layout = new GridLayout(); 
     52                        composite.setLayout(layout); 
     53                        layout.numColumns = 2; 
     54                        layout.verticalSpacing = 7; 
    7955                } 
    8056                 
    81                 m_combo.setLayoutData(data); 
    82                 m_combo.addModifyListener(m_modifyText); 
     57                //Setting up base resource drop-down menu 
     58                { 
     59                        Label label = new Label(composite, SWT.NULL); 
     60                        label.setText(NLS.bind(Messages.BasePropertyPage_item_label, m_shape.getType())); 
     61                } 
     62                 
     63                { 
     64                        m_combo = new ComboViewer (composite, SWT.DROP_DOWN | SWT.READ_ONLY); 
     65                        m_combo.setContentProvider (new ArrayContentProvider ()); 
     66                        m_combo.addSelectionChangedListener (new ChangeListener ());  
     67         
     68                        GridData data = new GridData(); 
     69                        data.widthHint = 150; 
     70                        m_combo.getCombo ().setLayoutData(data); 
     71 
     72                        //Get the base items for the drop-down menu 
     73                        m_combo.setInput (m_shape.getAvailableBaseItems ()); 
     74                } 
     75 
     76                 
     77                { 
     78                        GridData layoutData = new GridData (); 
     79                        layoutData.horizontalSpan = 2; 
     80                        layoutData.widthHint = 300; 
     81                         
     82                        m_description = new Label (composite, SWT.NONE); 
     83                        m_description.setLayoutData (layoutData); 
     84                } 
    8385                 
    8486                setControl(composite); 
    …… 
    8688        } 
    8789         
     90        protected class ChangeListener 
     91                implements ISelectionChangedListener 
     92        { 
     93                public void selectionChanged (SelectionChangedEvent event) 
     94                { 
     95                        IStructuredSelection selection = (IStructuredSelection) event.getSelection (); 
     96                        String sDescription = new String (); 
     97                        if (selection != null) 
     98                        { 
     99                                Component selected = (Component) selection.getFirstElement (); 
     100                                if (selected instanceof INameValue) 
     101                                { 
     102                                        NameValuePair nvp = ((INameValue) selected).GetNameValuePair (INameValue.DESCRIPTION); 
     103                                        if (nvp != null) 
     104                                                sDescription = nvp.GetValue ().toString (); 
     105                                } 
     106                        } 
     107                         
     108                        m_description.setText (sDescription); 
     109                        DialogChanged (); 
     110                } 
     111        }        
     112         
    88113        //Get the BaseDomain selected from the drop-down menu 
    89114        public Component getSelection () 
    90115        { 
    91                 int nSelected = m_combo.getSelectionIndex(); 
    92                  
    93                 if (nSelected < 0) 
     116                ISelection selection = m_combo.getSelection (); 
     117                if (selection instanceof IStructuredSelection) 
    94118                { 
    95                         return null; 
     119                        return (Component) ((IStructuredSelection) selection).getFirstElement (); 
    96120                } 
    97                 
    98                 return (Component) m_combo.getData(m_combo.getText()); 
     121         
     122                return null; 
    99123        } 
    100124         
    …… 
    105129        { 
    106130                Component baseDom = getSelection(); 
    107                  
    108                 if ( baseDom == null ) 
     131                if (baseDom == null) 
    109132                { 
    110133                        updateStatus(NLS.bind(Messages.BasePropertyPage_err_must_select, m_shape.getType()));