✘✘ GRAYBYTE WORDPRESS FILE MANAGER ✘✘

a

B�i,�@spdZd
dl
mZ
d
dl
mZ
ejr.d
dlmZ
Gdd�d�Zdd�Zd	d
�Zdd�Z	d
d�Z
dd�Zdd�ZdS)ai

Classes and functions for the output of reference policy modules.

This module takes a refpolicy.Module object and formats it for
output using the ModuleWriter object. By separating the output
in this way the other parts of Madison can focus solely on
generating policy. This keeps the semantic / syntactic issues
cleanly separated from the formatting issues.
�
)
�	refpolicy)
�util)
�cmpc@seZ
dZd
d�Zdd�ZdS)�ModuleWriterc

Csd|_d|_
d
|_d
|_dS)NT)�fd�module�sort�requires)
�self�r�3/usr/lib/python3.9/site-packages/sepolgen/output.py�__init__&s



zModuleWriter.__init__cCsF|
|_|j
rt|j�

tj|jd
d�D]\}}|�dt|�
�

q&dS)NT)
Z	showdepthz%s
)rr�sort_filterrZwalktree�write�str)r
rr�node�depthrrrr,s




zModuleWriter.writeN)�__name__�
__module__�__qualname__r
rrrrrr%s
rcCs�t�
|�
}|��
t�
|
�
}|��
t|�
t|�
krFt|d
|d
�St||�D]*}|d
|dkrPt|d
|d�
SqPd
S)N�r
)rZset_to_listr�lenr�zip)�
x�
yZxlZyl�
vrrr�
id_set_cmp=s










rcCsRt|j
|
j
�}|d
kr|St|j|
j�}|d
kr4|St|j|
j�}|d
krN|Sd
S�Nr)r�	src_typesZ	tgt_typesZobj_classes)�
a�
b�retrrr�
avrule_cmpKs








r"cCs8|jd
|
jd
kr*t
|jd
|
jd
�St
|j|
j�Sr)�argsrZifname�rr rrr�
ifcall_cmpZs


r%cCsrt|t
j�r8t|
t
j�r"t||
�St|jd
g
|
j�Sn6t|
t
j�sPt|
t
j�rZt	||
�St|j|
jd
g
�SdSr)
�
isinstancer�
InterfaceCallr%rr#rZAVRuleZ	AVExtRuler"r$rrr�rule_cmp`s





r(cCst|j
|
j
�S)
N)rZroler$rrr�
role_type_cmpls
r)c
Cs"d
d�}
|��D]}|
|�

qdS)z/Sort and group the output for readability.
    c
Ss�
g}
|��D]}|
�
|�

|
�
t���

q|��D]}|
�
|�

q2|
�
t���

g}|�|���

|�|���

|�|���

|j	t
�t�
d
�

d}g}|D]t}t
|tj�r�|jd}nt
�|j�
}||k�
r|r�|�
t���

|}t��}	|	j�
d|�

|�
|	�

|�
|�

q�|
�|�

g}
|
�|���

|
j	t
�t�
d
�

t|
�
�
rht��}	|	j�
d�

|
�
|	�

|
�|
�

|jD]}||
v
�
rx|
�
|�

�
qx|
|_dS)N)
�keyrz============= %s ==============z"============= ROLES ==============)Zmodule_declarations�appendr�Commentr	�extendZavrulesZ
avextrulesZinterface_callsrr�
cmp_to_keyr(r&r'r#�firstr�linesZ
role_typesr)rZchildren)r�
c�modZrequireZrulesZcurZ	sep_rulesZrulerZcommentZras�childrrr�	sort_nodersN




































zsort_filter.<locals>.sort_nodeN)
Znodes)rr4rrrrros=
rN)
�__doc__�rrZPY3rrrr"r%r(r)rrrrr�<module>s