All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Lib.Krakatau.ssa.ssa_ops.checkcast.pyc Maven / Gradle / Ivy

There is a newer version: 1.1
Show newest version
?
?HRc@srddlmZddlmZmZmZddlmZmZdefd??YZ	defd??YZ
d	S(
i(tBaseOpi(tobjtypestexcepttypest	ssa_types(tObjectConstraintt
IntConstraintt	CheckCastcBseZd?Zd?ZRS(cCs_tt|?j||dt?|j|_||_tj|jgtj	fdt?|_
dS(Nt
makeExceptiontnonnull(tsuperRt__init__tTruetenvt	target_ttRtfromTopsRt	ClassCasttoutExceptionCons(tselftparentttargettargs((sE/home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyR
s	cCscx\|jj|jjBD]D}tj|j||j?s|j?sKt?d|j
dfSqWdS(N(NNN(ttypestsuperstexactRt	isSubtypeRR
tisConstNulltAssertionErrortNoneR(Rtxttop((sE/home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pytpropagateConstraintss
(t__name__t
__module__R
R(((sE/home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyRs	t
InstanceOfcBseZd?Zd?ZRS(cCsMtt|?j||?|j|_||_|jtjd|?|_dS(Ntorigin(	R	R!R
RR
tmakeVariableRtSSA_INTtrval(RRRR((sE/home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyR
s	cCs"tjddd?}|ddfS(Ni ii(RtrangeR(RRtrvalcons((sE/home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyRs(RR R
R(((sE/home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyR!s	N(tbaseRtRRRtconstraintsRRRR!(((sE/home/alex/projects/github/krakatau/Krakatau/ssa/ssa_ops/checkcast.pyts




© 2015 - 2025 Weber Informatics LLC | Privacy Policy