a
Bi} @ sZ d dl Z d dlZd ZdZdZdZdZdZg dZeeeeeedZ G dd d Z
G d
d d e
Z G d d
d
e
Z dsddZ
dtddZduddZdd ZG dd deZG dd d e ZG d d d e ZG d d d ZG d!d" d"e ZG d#d$ d$e ZG d%d& d&e ZG d'd( d(e ZG d)d* d*e ZG d+d, d,e ZG d-d. d.e Z G d/d0 d0e Z G d1d2 d2e Z G d3d4 d4e Z G d5d6 d6e Z G d7d8 d8e Z!G d9d: d:e Z"G d;d< d d>e Z$G d?d@ d@e Z%G dAdB dBe Z&G dCdD dDe Z'G dEdF dFe Z(G dGdH dHe Z)G dIdJ dJe Z*G dKdL dLe Z+G dMdN dNe Z,G dOdP dPe Z-G dQdR dRe Z.G dSdT dTe Z/G dUdV dVe Z0dWdX Z1G dYdZ dZe Z2G d[d\ d\e Z3G d]d^ d^e Z4G d_d` d`e Z5G dadb dbe Z6G dcdd dde Z7G dedf dfe Z8G dgdh dhe Z9G didj dje Z:G dkdl dle Z;G dmdn dnZdS )v N )sourcetargetobjectZ
permissionroleZ destinationc @ s e Zd ZdddZdS )
PolicyBaseNc C s d | _ d | _d S N)parentcommentselfr
r 6/usr/lib/python3.9/site-packages/sepolgen/refpolicy.py__init__5 s zPolicyBase.__init__)N)__name__
__module__ __qualname__r r r r r r 4 s r c @ s e Zd ZdZd/ddZdd Zdd Zd d
Zd d Zd
d Z dd Z
dd Z dd Z dd Z
dd Zdd Zdd Zd d Zd d Zd!d" Zd#d$ Zd%d& Zd'd( Zd)d* Zd+d, Zd-d. ZdS )0Nodea Base class objects produced from parsing the reference policy.
The Node class is used as the base class for any non-leaf
object produced by parsing the reference policy. This object
should contain a reference to its parent (or None for a top-level
object) and 0 or more children.
The general idea here is to have a very simple tree structure. Children
are not separated out by type. Instead the tree structure represents
fairly closely the real structure of the policy statements.
The object should be iterable - by default over all children but
subclasses are free to provide additional iterators over a subset
of their childre (see Interface for example).
Nc C s t | | g | _d S r )r r childrenr r r r r J s z
Node.__init__c C s
t | jS r )iterr r r r r __iter__N s z
Node.__iter__c C s t dd t| S )Nc S s
t | tS r )
isinstancer xr r r W z Node.nodes..filterwalktreer r r r nodesV s z
Node.nodesc C s t dd t| S )Nc S s
t | tS r )r Moduler r r r r Z r z Node.modules..r! r r r r modulesY s z Node.modulesc C s t dd t| S )Nc S s
t | tS r )r Interfacer r r r r ] r z!Node.interfaces..r! r r r r
interfaces\ s zNode.interfacesc C s t dd t| S )Nc S s
t | tS r )r Templater r r r r ` r z Node.templates..r! r r r r templates_ s zNode.templatesc C s t dd t| S )Nc S s
t | tS r )r
SupportMacrosr r r r r c r z%Node.support_macros..r! r r r r support_macrosb s zNode.support_macrosc C s t dd t| S )Nc S s
t | tS r )r ModuleDeclarationr r r r r h r z*Node.module_declarations..r! r r r r module_declarationsg s zNode.module_declarationsc C s t dd t| S )Nc S s
t | tS r )r
InterfaceCallr r r r r k r z&Node.interface_calls..r! r r r r interface_callsj s zNode.interface_callsc C s t dd t| S )Nc S s
t | tS r )r AVRuler r r r r n r z Node.avrules..r! r r r r avrulesm s z Node.avrulesc C s t dd t| S )Nc S s
t | tS r )r AVExtRuler r r r r q r z!Node.avextrules..r! r r r r
avextrulesp s zNode.avextrulesc C s t dd t| S )Nc S s
t | tS r )r TypeRuler r r r r t r z Node.typerules..r! r r r r typeruless s zNode.typerulesc C s t dd t| S )Nc S s
t | tS r )r TypeBoundr r r r r w r z!Node.typebounds..r! r r r r
typeboundsv s zNode.typeboundsc C s t dd t| S )zAIterate over all of the TypeAttribute children of this Interface.c S s
t | tS r )r
TypeAttributer r r r r { r z%Node.typeattributes..r! r r r r typeattributesy s zNode.typeattributesc C s t dd t| S )zAIterate over all of the RoleAttribute children of this Interface.c S s
t | tS r )r
RoleAttributer r r r r r z%Node.roleattributes..r! r r r r roleattributes} s zNode.roleattributesc C s t dd t| S )Nc S s
t | tS r )r Requirer r r r r r z Node.requires..r! r r r r requires s z
Node.requiresc C s t dd t| S )Nc S s
t | tS r )r Roler r r r r r z Node.roles..r! r r r r roles s z
Node.rolesc C s t dd t| S )Nc S s
t | tS r )r RoleAllowr r r r r r z"Node.role_allows..r! r r r r role_allows s zNode.role_allowsc C s t dd t| S )Nc S s
t | tS r )r RoleTyper r r r r r z!Node.role_types..r! r r r r
role_types s zNode.role_typesc C s( | j r t| j d | S | S d S N
r str to_stringr r r r __str__ s z Node.__str__c C s d| j j| f S Nz<%s(%s)> __class__r rI r r r r __repr__ s z
Node.__repr__c C s dS N r r r r r rI s zNode.to_string)N)r r r __doc__r r r$ r& r( r* r, r. r0 r2 r4 r6 r8 r: r< r> r@ rB rD rJ rN rI r r r r r 9 s.
r c @ s. e Zd Zd
ddZdd Zdd Zdd ZdS ) LeafNc C s t | | d S r )r r r r r r r s z
Leaf.__init__c C s( | j r t| j d | S | S d S rE rG r r r r rJ s z Leaf.__str__c C s d| j j| f S rK rL r r r r rN s z
Leaf.__repr__c C s dS rO r r r r r rI s zLeaf.to_string)N)r r r r rJ rN rI r r r r rR s
rR TFc
c s |r
d}nd}| dfg}t |dkr||\}}|rB||fV n|V t|trg }t |jd } | dkr|du st|j| |r||j| |d f | d8 } qd|| qdS )a Iterate over a Node and its Children.
The walktree function iterates over a tree containing Nodes and
leaf objects. The iteration can perform a depth first or a breadth
first traversal of the tree (controlled by the depthfirst
parameter. The passed in node will be returned.
This function will only work correctly for trees - arbitrary graphs
will likely cause infinite looping.
r r N)lenpopr r r appendextend)
nodeZ
depthfirst showdepthtypeindexstackZcurdepthitemsir r r r# s"
r# c c s& | D ] }|du st ||r|V qdS )a Iterate over the direct children of a Node.
The walktree function iterates over the children of a Node.
Unlike walktree it does note return the passed in node or
the children of any Node objects (that is, it does not go
beyond the current level in the tree).
N)r )rX rZ r r r r walknode s r` {}c C sR t | }d}|dk r tdd| }|dkr2|S |d d | d |d S dS )zConvert a set (or any sequence type) into a string representation
formatted to match SELinux space separated list conventions.
For example the list ['read', 'write'] would be converted into:
'{ read write }'
rP r z"cannot convert 0 len set to string r NrT
ValueErrorjoin)scontlrH r r r list_to_space_str s
rk c C s" t | }|dk rtdd| S )Nr z(cannot convert 0 len set to comma stringz, re )rh rj r r r list_to_comma_str s rl c @ s& e Zd ZdddZdd Zdd ZdS ) IdSetNc C s& |rt | | n
t | d| _d S )NF)setr Z
compliment)r listr r r r s
zIdSet.__init__c C s t t| S r )rk sortedr r r r to_space_str s zIdSet.to_space_strc C s t t| S r )rl rp r r r r to_comma_str s zIdSet.to_comma_str)N)r r r r rq rr r r r r rm s
rm c @ s4 e Zd ZdZd ddZdd Zdd Zd d d
ZdS )
SecurityContextz;An SELinux security context with optional MCS / MLS fields.Nc C s: t | | d| _d| _d| _d| _|dur6| | dS )zCreate a SecurityContext object, optionally from a string.
Parameters:
[context] - string representing a security context. Same format
as a string passed to the from_string method.
rP N)rR r userr
rZ level from_string)r contextr
r r r r s zSecurityContext.__init__c C s t |}|d dkr |d }|d}t|dk r@td| |d | _|d | _|d | _t|dkrd|dd | _ nd| _ dS )zParse a string representing a context into a SecurityContext.
The string should be in the standard format - e.g.,
'user:role:type:level'.
Raises ValueError if the string is not parsable as a security context.
r r :r z)context string [%s] not in a valid formatr N)
selinuxZ selinux_trans_to_raw_contextsplitrT rf rt r
rZ rg ru )r rw rawfieldsr r r rv s
zSecurityContext.from_stringc C s0 | j |j ko.| j|jko.| j|jko.| j|jkS )a Compare two SecurityContext objects - all fields must be exactly the
the same for the comparison to work. It is possible for the level fields
to be semantically the same yet syntactically different - in this case
this function will return false.
)rt r
rZ ru )r otherr r r __eq__4 s
zSecurityContext.__eq__c C s\ | j | j| jg}| jdu rF|du r:t dkrD|d qR|| n || j d|S )a Return a string representing this security context.
By default, the string will contiain a MCS / MLS level
potentially from the default which is passed in if none was
set.
Arguments:
default_level - the default level to use if self.level is an
empty string.
Returns:
A string represening the security context in the form
'user:role:type:level'.
Nr Zs0rx )rt r
rZ ru ry Zis_selinux_mls_enabledrV rg )r Z
default_levelr| r r r rI ? s
zSecurityContext.to_string)NN)N)r r r rQ r rv r~ rI r r r r rs s
rs c @ s e Zd ZdZdddZdS ) ObjectClassa" SELinux object class and permissions.
This class is a basic representation of an SELinux object
class - it does not represent separate common permissions -
just the union of the common and class specific permissions.
It is meant to be convenient for policy generation.
rP Nc C s t | | || _t | _d S r )rR r namerm permsr r r
r r r r a s zObjectClass.__init__)rP N)r r r rQ r r r r r r Y s r c @ s< e Zd ZdZdddZdd Zdd Zdd
d Zd d
Zd S )XpermSeta) Extended permission set.
This class represents one or more extended permissions
represented by numeric values or ranges of values. The
.complement attribute is used to specify all permission
except those specified.
Two xperm set can be merged using the .extend() method.
Fc C s || _ g | _d S r )
complementranges)r r r r r r p s zXpermSet.__init__c C s | j d}|t| j k r|d t| j k r| j |d d | j | d d kr| j | d t| j | d | j |d d f| j |< | j |d = q qq |d7 }qdS )z0Ensure that ranges are not overlapping.
r r N)r sortrT max)r r_ r r r Z__normalize_rangest s
$ zXpermSet.__normalize_rangesc C s | j |j | dS )z%Add ranges from an xperm set
N)r rW _XpermSet__normalize_rangesr rh r r r rW s zXpermSet.extendNc C s( |du r |}| j ||f | dS )z7Add value of range of values to the xperm set.
N)r rV r )r ZminimumZmaximumr r r add s z XpermSet.addc C sz | j s
dS | jrdnd}t| j dkrX| j d d | j d d krX|t| j d d S tdd | j }d|d|f S ) NrP z~ r r c S s8 | d | d kr t | d S dt | d t | d f S )Nr r z%s-%s)hexr r r r r r z$XpermSet.to_string..z%s{ %s }rd )r r rT r maprg )r ZcomplZvalsr r r rI s *zXpermSet.to_string)F)N) r r r rQ r r rW r rI r r r r r f s
r c @ s" e Zd ZdZdddZdd ZdS )r9 z[SElinux typeattribute statement.
This class represents a typeattribute statement.
Nc C s t | | d| _t | _d S rO )rR r rZ rm
attributesr r r r r s zTypeAttribute.__init__c C s d| j | j f S )Nztypeattribute %s %s;)rZ r rr r r r r rI s zTypeAttribute.to_string)Nr r r rQ r rI r r r r r9 s
r9 c @ s" e Zd ZdZdddZdd ZdS )r; z[SElinux roleattribute statement.
This class represents a roleattribute statement.
Nc C s t | | d| _t | _d S rO )rR r r
rm r< r r r r r s zRoleAttribute.__init__c C s d| j | j f S )Nzroleattribute %s %s;)r
r< rr r r r r rI s zRoleAttribute.to_string)Nr r r r r r; s
r; c @ s e Zd ZdddZdd ZdS )r? Nc C s t | | d| _t | _d S rO rR r r
rm typesr r r r r s z
Role.__init__c C s& d}| j D ]}|d| j|f 7 }q
|S NrP zrole %s types %s;
r r
r rh tr r r rI s
zRole.to_string)Nr r r r rI r r r r r? s
r? c @ s e Zd ZdddZdd ZdS )TyperP Nc C s& t | | || _t | _t | _d S r )rR r r rm r aliasesr r r r r s z
Type.__init__c C sR d| j }t| jdkr*|d| j }t| jdkrJ|d| j }|d S )Nztype %sr zalias %s, %s;)r rT r rq r rr r r r r rI s
zType.to_string)rP Nr r r r r r s
r c @ s e Zd ZdddZdd ZdS ) TypeAliasNc C s t | | d| _t | _d S rO )rR r rZ rm r r r r r r s zTypeAlias.__init__c C s d| j | j f S )Nztypealias %s alias %s;)rZ r rq r r r r rI s zTypeAlias.to_string)Nr r r r r r s
r c @ s e Zd ZdddZdd ZdS ) AttributerP Nc C s t | | || _d S r rR r r r r r r r s zAttribute.__init__c C s
d| j S )Nz
attribute %s;r r r r r rI s zAttribute.to_string)rP Nr r r r r r s
r c @ s e Zd ZdddZdd ZdS )Attribute_RolerP Nc C s t | | || _d S r r r r r r r s zAttribute_Role.__init__c C s
d| j S )Nzattribute_role %s;r r r r r rI s zAttribute_Role.to_string)rP Nr r r r r r s
r c @ sB e Zd ZdZdZdZdZdZdddZd d
Z d d Z
d
d Z dS )r1 a SELinux access vector (AV) rule.
The AVRule class represents all varieties of AV rules including
allow, dontaudit, and auditallow (indicated by the flags self.ALLOW,
self.DONTAUDIT, and self.AUDITALLOW respectively).
The source and target types, object classes, and perms are all represented
by sets containing strings. Sets are used to make it simple to add
strings repeatedly while avoiding duplicates.
No checking is done to make certain that the symbols are valid or
consistent (e.g., perms that don't match the object classes). It is
even possible to put invalid types like '$1' into the rules to allow
storage of the reference policy interfaces.
r r r r Nc C sF t | | t | _t | _t | _t | _| j| _|rB| | d S r )
rR r rm src_types tgt_types obj_classesr ALLOW rule_typefrom_av)r avr
r r r r s zAVRule.__init__c C sD | j | jkrdS | j | jkr dS | j | jkr0dS | j | jkr@dS d S )NZallowZ dontauditZ
auditallowZ
neverallow)r r DONTAUDIT
AUDITALLOW
NEVERALLOWr r r r __rule_type_str s zAVRule.__rule_type_strc C sV | j |j |j|jkr(| jd n| j|j | j|j | j|j dS )zIAdd the access from an access vector to this allow
rule.
r N) r r src_typetgt_typer r obj_classr update)r r r r r r s zAVRule.from_avc C s. d| | j | j | j | j f S )zReturn a string representation of the rule
that is a valid policy language representation (assuming
that the types, object class, etc. are valie).
%s %s %s:%s %s;)_AVRule__rule_type_strr rq r r r r r r r rI ) s zAVRule.to_string)NN) r r r rQ r r r r r r r rI r r r r r1 s
r1 c @ sB e Zd ZdZdZdZdZdZdddZd d
Z d d Z
d
d Z dS )r3 aj Extended permission access vector rule.
The AVExtRule class represents allowxperm, dontauditxperm,
auditallowxperm, and neverallowxperm rules.
The source and target types, and object classes are represented
by sets containing strings. The operation is a single string,
e.g. 'ioctl'. Extended permissions are represented by an XpermSet.
r r r r Nc C sN t | | t | _t | _t | _| j| _t | _ || _
|rJ| || d S r ) rR r rm r r r
ALLOWXPERMr r xperms operationr )r r opr
r r r r C s zAVExtRule.__init__c C sD | j | jkrdS | j | jkr dS | j | jkr0dS | j | jkr@dS d S )NZ
allowxpermZdontauditxpermZauditallowxpermZneverallowxperm)r r DONTAUDITXPERMAUDITALLOWXPERMNEVERALLOWXPERMr r r r r N s zAVExtRule.__rule_type_strc C sZ | j |j |j|jkr(| jd n| j|j | j|j || _|j| | _d S )Nr ) r r r r r r r r r )r r r r r r r X s zAVExtRule.from_avc C s2 d| | j | j | j | j| j f S )zReturn a string representation of the rule that is
a valid policy language representation (assuming that
the types, object class, etc. are valid).
z%s %s %s:%s %s %s;)_AVExtRule__rule_type_strr rq r r r r rI r r r r rI b s zAVExtRule.to_string)NNN) r r r rQ r r r r r r r rI r r r r r3 4 s
r3 c @ s6 e Zd ZdZdZdZdZd ddZdd Zd
d Z dS )
r5 zSELinux type rules.
This class is very similar to the AVRule class, but is for representing
the type rules (type_trans, type_change, and type_member). The major
difference is the lack of perms and only and sing destination type.
r r r Nc C s6 t | | t | _t | _t | _d| _| j| _d S rO ) rR r rm r r r dest_typeTYPE_TRANSITIONr r r r r r y s zTypeRule.__init__c C s( | j | jkrdS | j | jkr dS dS d S )NZtype_transitionZ type_changeZ type_member)r r TYPE_CHANGEr r r r r s
zTypeRule.__rule_type_strc C s* d| | j | j | j | jf S )Nr )_TypeRule__rule_type_strr rq r r r r r r r rI s zTypeRule.to_string)N)
r r r rQ r r Z TYPE_MEMBERr r rI r r r r r5 n s
r5 c @ s" e Zd ZdZdddZdd ZdS )r7 zSSElinux typebound statement.
This class represents a typebound statement.
Nc C s t | | d| _t | _d S rO )rR r rZ rm r r r r r r s zTypeBound.__init__c C s d| j | j f S )Nztypebounds %s %s;)rZ r rr r r r r rI s zTypeBound.to_string)Nr r r r r r7 s
r7 c @ s e Zd ZdddZdd ZdS )rA Nc C s t | | t | _t | _d S r )rR r rm src_roles tgt_rolesr r r r r s zRoleAllow.__init__c C s d| j | j f S )Nz allow %s %s;)r rr r r r r r rI s
zRoleAllow.to_string)Nr r r r r rA s
rA c @ s e Zd ZdddZdd ZdS )rC Nc C s t | | d| _t | _d S rO r r r r r r s zRoleType.__init__c C s& d}| j D ]}|d| j|f 7 }q
|S r r r r r r rI s
zRoleType.to_string)Nr r r r r rC s
rC c @ s e Zd ZdddZdd ZdS )r- Nc C s" t | | d| _d| _d| _d S NrP F)rR r r version refpolicyr r r r r s zModuleDeclaration.__init__c C s* | j rd| j| jf S d| j| jf S d S )Nzpolicy_module(%s, %s)z
module %s %s;)r r r r r r r rI s zModuleDeclaration.to_string)Nr r r r r r- s
r- c @ s e Zd ZdddZdd ZdS ) ConditionalNc C s t | | g | _d S r r r cond_exprr r r r r s zConditional.__init__c C s dt | jdd S )Nz[If %s]rP rP ri rk r r r r r rI s zConditional.to_string)Nr r r r r r s
r c @ s e Zd ZdddZdd ZdS )BoolNc C s t | | d| _d| _d S r )rR r r stater r r r r s z
Bool.__init__c C s$ d| j }|jr|d S |d S d S )Nzbool %s trueZfalse)r r r r r r rI s
zBool.to_string)Nr r r r r r s
r c @ s e Zd ZdddZdd ZdS )
InitialSidNc C s t | | d| _d | _d S rO )rR r r rw r r r r Z__init s zInitialSid.__initc C s d| j t| jf S )Nz sid %s %s)r rH rw r r r r rI s zInitialSid.to_string)N)r r r Z_InitialSid__initrI r r r r r s
r c @ s e Zd ZdddZdd ZdS )GenfsConNc C s" t | | d| _d| _d | _d S rO )rR r
filesystempathrw r r r r r s zGenfsCon.__init__c C s d| j | jt| jf S )Nzgenfscon %s %s %s)r r rH rw r r r r rI s zGenfsCon.to_string)Nr r r r r r s
r c @ s* e Zd ZdZdZdZd ddZdd ZdS )
FilesystemUser r r Nc C s$ t | | | j| _d| _d | _d S rO )rR r XATTRrZ r rw r r r r r s zFilesystemUse.__init__c C sN d}| j | jkrd}n"| j | jkr(d}n| j | jkr8d}d|| jt| jf S )NrP z
fs_use_xattr z
fs_use_trans z fs_use_task z %s %s %s;)rZ r TRANSTASKr rH rw r r r r rI s zFilesystemUse.to_string)N)r r r r r r r rI r r r r r s
r c @ s e Zd ZdddZdd ZdS )PortConNc C s" t | | d| _d| _d | _d S rO )rR r port_type port_numberrw r r r r r s zPortCon.__init__c C s d| j | jt| jf S )Nzportcon %s %s %s)r r rH rw r r r r rI s zPortCon.to_string)Nr r r r r r s
r c @ s e Zd ZdddZdd ZdS )NodeConNc C s" t | | d| _d| _d | _d S rO )rR r startendrw r r r r r s zNodeCon.__init__c C s d| j | jt| jf S )Nznodecon %s %s %s)r r rH rw r r r r rI s zNodeCon.to_string)Nr r r r r r s
r c @ s e Zd ZdddZdd ZdS )NetifConNc C s" t | | d| _d | _d | _d S rO )rR r interfaceinterface_contextpacket_contextr r r r r s zNetifCon.__init__c C s d| j t| jt| jf S )Nznetifcon %s %s %s)r rH r r r r r r rI s zNetifCon.to_string)Nr r r r r r s
r c @ s e Zd ZdddZdd ZdS )PirqConNc C s t | | d| _d | _d S rO )rR r pirq_numberrw r r r r r s zPirqCon.__init__c C s d| j t| jf S )Nz
pirqcon %s %s)r rH rw r r r r rI " s zPirqCon.to_string)Nr r r r r r s
r c @ s e Zd ZdddZdd ZdS )IomemConNc C s t | | d| _d | _d S rO )rR r
device_memrw r r r r r & s zIomemCon.__init__c C s d| j t| jf S )Nziomemcon %s %s)r rH rw r r r r rI + s zIomemCon.to_string)Nr r r r r r % s
r c @ s e Zd ZdddZdd ZdS ) IoportConNc C s t | | d| _d | _d S rO )rR r ioportrw r r r r r / s zIoportCon.__init__c C s d| j t| jf S )Nzioportcon %s %s)r rH rw r r r r rI 4 s zIoportCon.to_string)Nr r r r r r . s
r c @ s e Zd ZdddZdd ZdS ) PciDeviceConNc C s t | | d| _d | _d S rO )rR r devicerw r r r r r 8 s zPciDeviceCon.__init__c C s d| j t| jf S )Nzpcidevicecon %s %s)r rH rw r r r r rI = s zPciDeviceCon.to_string)Nr r r r r r 7 s
r c @ s e Zd ZdddZdd ZdS )
DeviceTreeConNc C s t | | d| _d | _d S rO )rR r r rw r r r r r A s zDeviceTreeCon.__init__c C s d| j t| jf S )Nzdevicetreecon %s %s)r rH rw r r r r rI F s zDeviceTreeCon.to_string)Nr r r r r r @ s
r c C sD t | ddD ]2\}}d}t|D ] }|d }q t|t| q d S )NT)rY rP )r# rangeprintrH )headrX r] rh r_ r r r
print_treeK s
r c @ s e Zd ZdddZdd ZdS )HeadersNc C s t | | d S r r r r r r r r T s zHeaders.__init__c C s dS )Nz [Headers]r r r r r rI W s zHeaders.to_string)Nr r r r r r S s
r c @ s e Zd ZdddZdd ZdS )r% Nc C s t | | d S r r r r r r r \ s zModule.__init__c C s dS rO r r r r r rI _ s zModule.to_string)Nr r r r r r% [ s
r% c @ s" e Zd ZdZdddZdd ZdS ) r' zqA reference policy interface definition.
This class represents a reference policy interface definition.
rP Nc C s t | | || _d S r r r r r r r r r g s zInterface.__init__c C s
d| j S )Nz[Interface name: %s]r r r r r rI k s zInterface.to_string)rP Nr r r r r r' b s
r' c @ s e Zd ZdddZdd ZdS )
TunablePolicyNc C s t | | g | _d S r r r r r r r o s zTunablePolicy.__init__c C s dt | jdd S )Nz[Tunable Policy %s]r r r r r r r rI s s zTunablePolicy.to_string)Nr r r r r r n s
r c @ s e Zd ZdddZdd ZdS )r) rP Nc C s t | | || _d S r r r r r r r w s zTemplate.__init__c C s
d| j S )Nz[Template name: %s]r r r r r rI { s zTemplate.to_string)rP Nr r r r r r) v s
r) c @ s e Zd ZdddZdd ZdS )IfDefrP Nc C s t | | || _d S r r r r r r r s zIfDef.__init__c C s
d| j S )Nz[Ifdef name: %s]r r r r r rI s zIfDef.to_string)rP Nr r r r r r ~ s
r c @ s& e Zd Zd ddZdd Zdd ZdS )
r/ rP Nc C s" t | | || _g | _g | _d S r )rR r ifnameargsZcomments)r r r
r r r r s zInterfaceCall.__init__c C sR | j |j krdS t| jt|jkr(dS t| j|jD ]\}}||kr6 dS q6dS )NFT)r rT r zip)r r} abr r r matches s zInterfaceCall.matchesc C s` d| j }d}| jD ]B}t|tr,t|}n|}|dkrF|d| }n|| }|d7 }q|d S )Nz%s(r r r ))r r r ro rk )r rh r_ r rH r r r rI s
zInterfaceCall.to_string)rP N)r r r r r rI r r r r r/ s
r/ c @ s e Zd ZdddZdd ZdS )OptionalPolicyNc C s t | | d S r r r r r r r s zOptionalPolicy.__init__c C s dS )Nz[Optional Policy]r r r r r rI s zOptionalPolicy.to_string)Nr r r r r r s
r c @ s> e Zd ZdddZdd Zdd Zdd Zd
d Zd d
ZdS )r+ Nc C s t | | d | _d S r )r r r r r r r r s zSupportMacros.__init__c C s dS )Nz[Support Macros]r r r r r rI s zSupportMacros.to_stringc C s@ t }|| jv r2| |D ]}|| | qn
|| |S r )rn r by_namer _SupportMacros__expand_permr )r permrh pr r r Z
__expand_perm s
zSupportMacros.__expand_permc C sB i | _ | D ]2}t }|jD ]}|| | q|| j |j< q
d S r )r rn r r r r )r r Z exp_permsr r r r Z __gen_map s
zSupportMacros.__gen_mapc C s | j s| | j | S r r _SupportMacros__gen_mapr r r r r r s zSupportMacros.by_namec C s | j s| || j v S r r r r r r has_key s zSupportMacros.has_key)N) r r r r rI r r r r r r r r r+ s
r+ c @ s& e Zd ZdddZdd Zdd ZdS ) r= Nc C s6 t | | t | _i | _t | _t | _t | _d S r )rR r rm r r r@ datausersr r r r r s zRequire.__init__c C s | j |t }|| d S r )r
setdefaultrm r )r r r r r r r
add_obj_class s zRequire.add_obj_classc C s g }| d | jD ]}| d| q| j D ] \}}| d|| f q2| jD ]}| d| qX| jD ]}| d| qr| jD ]}| d| q| d t|dkrd S d
|S ) Nz require {z type %s;z
class %s %s;z role %s;z bool %s;z user %s;rc r rP rF )
rV r r r^ rq r@ r r rT rg )r rh rZ r r r
boolrt r r r rI s
zRequire.to_string)N)r r r r r rI r r r r r= s
r= c @ s e Zd Zdd Zdd ZdS )
ObjPermSetc C s || _ t | _d S r )r rn r r r r r r s zObjPermSet.__init__c C s d| j | j f S )Nzdefine(`%s', `%s'))r r rq r r r r rI s zObjPermSet.to_stringNr r r r r r s r c @ s e Zd Zdd Zdd ZdS )ClassMapc C s || _ || _d S r r r )r r r r r r r s zClassMap.__init__c C s | j d | j S )Nz: r r r r r rI s zClassMap.to_stringNr r r r r r s r c @ s. e Zd Zd
ddZdd Zdd Zdd ZdS ) CommentNc C s |r || _ ng | _ d S r )lines)r rj r r r r s zComment.__init__c C s> t | jdkrdS g }| jD ]}|d| q d|S d S )Nr rP #rF )rT r rV rg )r outliner r r rI s
zComment.to_stringc C s. t |jr*|jD ]}|dkr| j| qd S rO )rT r rV )r r} r r r r merge s
z
Comment.mergec C s | S r )rI r r r r rJ s zComment.__str__)N)r r r r rI r rJ r r r r r s
r )TFN)N)ra )?stringry ZSRC_TYPEZTGT_TYPEZ OBJ_CLASSZPERMSZROLEZ DEST_TYPEZ field_to_strZ str_to_fieldr r rR r# r` rk rl rn rm rs r r r9 r; r? r r r r r1 r3 r5 r7 rA rC r- r r r r r r r r r r r r r r r r% r' r r) r r/ r r+ r= r r r r r r r s~ a
&
P
<
@:!
!&$