JFIF $
d d 7
Viewing File: /usr/lib/python3.9/site-packages/sepolgen/__pycache__/output.cpython-39.pyc
a
���h, � @ sp d Z ddlmZ ddlmZ ejr.ddlmZ G dd� d�Zdd� Zd d
� Zd d � Z d
d� Z
dd� Z dd� 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 @ s e Zd Zdd� Zdd� ZdS )� ModuleWriterc C s d | _ d | _d| _d| _d S )NT)�fd�module�sort�requires)�self� r �3/usr/lib/python3.9/site-packages/sepolgen/output.py�__init__& s zModuleWriter.__init__c C sF || _ | jrt| j � tj| j dd�D ]\}}|�dt|� � q&d S )NT)Z showdepthz%s
)r r � sort_filterr Zwalktree�write�str)r
r r �node�depthr r r r , s
zModuleWriter.writeN)�__name__�
__module__� __qualname__r
r r r r r r % s r c C s� t �| �}|�� t �|�}|�� t|�t|�krFt|d |d �S t||�D ]*}|d |d krPt|d |d � S qPdS )N� r )r Z set_to_listr �lenr �zip)�x�yZxlZyl�vr r r �
id_set_cmp= s
r c C sR t | j|j�}|dkr|S t | j|j�}|dkr4|S t | j|j�}|dkrN|S dS �Nr )r � src_typesZ tgt_typesZ obj_classes)�a�b�retr r r �
avrule_cmpK s r" c C s8 | j d |j d kr*t| j d |j d �S t| j|j�S r )�argsr Zifname�r r r r r �
ifcall_cmpZ s r% c C sr t | tj�r8t |tj�r"t| |�S t| jd g|j�S n6t |tj�sPt |tj�rZt | |�S t| j|jd g�S d S r )
�
isinstancer �
InterfaceCallr% r r# r ZAVRuleZ AVExtRuler" r$ r r r �rule_cmp` s
r( c C s t | j|j�S )N)r Zroler$ r r r �
role_type_cmpl s r) c C s" dd� }| � � D ] }||� qdS )z/Sort and group the output for readability.
c S s� 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|| _d S )N)�keyr z ============= %s ==============z"============= ROLES ==============)Zmodule_declarations�appendr �Commentr �extendZavrulesZ
avextrulesZinterface_callsr r �
cmp_to_keyr( r& r' r# �firstr �linesZ
role_typesr) r Zchildren) r �c�modZrequireZrulesZcurZ sep_rulesZruler ZcommentZras�childr r r � sort_noder sN
z sort_filter.<locals>.sort_nodeN)Znodes)r r4 r r r r r o s = r N)
�__doc__� r r ZPY3r r r r" r% r( r) r r r r r �<module> s
Back to Directory
nL+D550H?Mx ,D"v]qv;6*Zqn)ZP 0 !1 A "#a$2Qr D8 a Ri[f\mIykIw0 cuFcRı?lO7к_f˓[C$殷WF<_W ԣs KcëIzyQy /_LKℂ;C",pFA: /]=H ~,ls/9ć:[=/#f;)x {ٛEQ )~ =𘙲r*2~ a _V=' kumF D}KYYC)({ *g&f`툪ry`=^cJ.I](*`wq 1dđ#̩͑0;H]u搂@:~וKL Nsh}OIR*8:2 !lDJVo( 3=M(zȰ+i*NA r6KnSl )!JJӁ* %݉?|D}d5:eP0R;{$X'xF@.ÊB {,WJuQɲRI;9QE琯62fT.DUJ;*cP A\ILNj!J۱+O\ ͔]ޒ SJȧc%ANolՎprULZԛerE2=XDXgVQeӓk yP7U*omQIs,K`)6\G3t?pgjrmۛجwluGtf h9uyP0D;Uڽ"OXlif$)&|ML0Zrm1[HXPlPR0'G=i2N +0e2]] 9VTPO7h(F*癈 '=QVZDF,d߬~TX
G[`le69CR(!S2!P
<0x < !1AQ "Raq02Br#SCTb
?Ζ"]mH5WR7k.ۛ!}Q~+yԏz|@T20S~Kek *zFf^2X*(@8r?CIuI|֓>^ExLgNUY+{.RѪ
τVYTD I62'8Y2 7'\TP.6d&˦@Vqi|8- OΕ]ʔ U=TL8=;6c| !qfF3aů&~$l}'NWUs$Uk^SV:U# 6w++s&r+nڐ{@29 gL
u"TÙM=6 (^"7r} =6YݾlCuhquympǦ
G jhsǜNlɻ}o7 #S6aw4!OSrD57%|?x>L
|/nD6?/8w#[)L7+6〼T ATg ! %5MmZ/c-{1_Je"|^$'O&ޱմ Trb$ w)R$&
N1EtdU3Uȉ1pM" N*(DN yd96.(jQ)X
5cQɎMyW? Q*!R>6=7)Xj5`J]e 8%t!+'!1Q 5 !1 AQaqё#2"0BRb ? Gt^## .llQT $v,,m 㵜5 ubV =sY+@d{N! dnO< .-B; _wJt6;QJd.Qc%p{ 1,sNDdFHI0ГoXшe黅XۢF:)[FGXƹ/w_cMeD,ʡcc. WDtA$j@:) -# u
c1<@ۗ9F)KJ-hpP]_x[qBlbp ʖw q"LFGd ƶ*s+ډ_Zc"? %t[IP 6J]#=ɺVvvCGsGh1 >)6|ey?Lӣm,4GWUi` ]uJVoV DG< SB 6ϏQ@ TiUly OU0kfV~~}SZ@*WUUi##; s/[ =!7}" WN]'(L! ~y5g9T̅JkbM' +s:S + B)v@Mj
e Cf jE 0Y\QnzG1д~Wo{T 9?`Rmyhsy3!HAD]mc1~2L Su7xT;j$`}4->L#vzŏ ILS ֭ T { rjGKC; bpU= -`BsK.SFw4Mq]ZdHS0)tLg