Tutorial de Desenvolvedor¶

This is a tutorial for anybody who wants to either develop LFortran or build tools on top.

Introdução¶

LFortran está estruturado em torno de dois módulos independentes, AST e ASR, ambos autônomos (completamente independentes do resto do projeto) e os utilizadores são encorajados a utilizá-los independentemente para outras aplicações e a construir ferramentas com base nisso:

• Abstract Syntax Tree (AST): Represents any Fortran source code, strictly based on syntax, no semantic is included. The AST module can convert itself to Fortran source code.

• Abstract Semantic Representation (ASR): Represents a valid Fortran source code, all semantic is included. Invalid Fortran code is not allowed (an error will be given). The ASR module can convert itself to an AST.

Árvore de Sintaxe Abstrata (AST)¶

Fortran source code can be parsed into an AST using the src_to_ast() function:

[1]:

integer function f(a, b) result(r)
integer, intent(in) :: a, b
r = a + b
end function


We can pretty print it using the %%showast magic:

[2]:

%%showast
integer function f(a, b) result(r)
integer, intent(in) :: a, b
r = a + b
end function

(TranslationUnit
[(Function
f
[(a)
(b)]
[(AttrType
TypeInteger
[]
()
()
None
)]
r
()
()
[]
[]
[]
[(Declaration
(AttrType
TypeInteger
[]
()
()
None
)
[(AttrIntent
In
)]
[(a
[]
[]
()
()
None
())
(b
[]
[]
()
()
None
())]
()
)]
[(Assignment
0
r
(+ a b)
()
)]
[]
[]
)]
)


We can convert AST to Fortran source code using %%showfmt:

[3]:

%%showfmt
integer function f(a, b) result(r)
integer, intent(in) :: a, b
r = a + b
end function

integer function f(a, b) result(r)
integer, intent(in) :: a, b
r = a + b
end function f


All AST nodes and their arguments are described in AST.asdl.

Representação Semântica Abstrata (ASR)¶

We can pretty print using the %%showasr magic:

[4]:

%%showasr
integer function f(a, b) result(r)
integer, intent(in) :: a, b
r = a + b
end function

(TranslationUnit
(SymbolTable
1
{
f:
(Function
(SymbolTable
3
{
a:
(Variable
3
a
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
),
b:
(Variable
3
b
[]
In
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
),
r:
(Variable
3
r
[]
ReturnVar
()
()
Default
(Integer 4)
()
Source
Public
Required
.false.
)
})
f
(FunctionType
[(Integer 4)
(Integer 4)]
(Integer 4)
Source
Implementation
()
.false.
.false.
.false.
.false.
.false.
[]
.false.
)
[]
[(Var 3 a)
(Var 3 b)]
[(Assignment
(Var 3 r)
(IntegerBinOp
(Var 3 a)
(Var 3 b)
(Integer 4)
()
)
()
)]
(Var 3 r)
Public
.false.
.false.
()
)
})
[]
)


All ASR nodes and their arguments are described in ASR.asdl.