forked from M-Labs/nac3
1
0
Fork 0
nac3/nac3standalone/demo/classes.py

41 lines
588 B
Python

@extern
def output_int(x: int32):
...
@extern
def output_long(x: int64):
...
class A:
a: int32
b: B
def __init__(self, a: int32):
self.a = a
self.b = B(a + 1)
def get_a(self) -> int32:
return self.a
def get_self(self) -> A:
return self
def get_b(self) -> B:
return self.b
class B:
b: int32
def __init__(self, a: int32):
self.b = a
def run() -> int32:
a = A(10)
output_int(a.a)
a = A(20)
output_int(a.a)
output_int(a.get_a())
output_int(a.get_b().b)
return 0