Skip to content
Snippets Groups Projects
Commit 27267414 authored by Lior Spach's avatar Lior Spach
Browse files

lala

parent 1c25aa17
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
src/main/scala/other/ArqExemplos.scala
+ 111
− 1
View file @ 27267414
...@@ -2,6 +2,37 @@ package other ...@@ -2,6 +2,37 @@ package other
object ArqExemplos { object ArqExemplos {
val p =
"""program exemplo7(input, output);
var x, y : integer;
procedure p;
var z : integer;
begin
z:=x; x:=x-1;
if z>1
then p
else y:=1;
y:=y*z
end;
procedure q;
var s, t : integer;
begin
s:=x; t:=x-1; x:=t;
if s=0 then y:=1
else
if ((s div 2)*2) = s
then q
else p;
y:=y*s
end;
begin
read(x);
q;
write(y)
end."""
val exemplo5 = val exemplo5 =
"""program exemplo5 (input, output); """program exemplo5 (input, output);
var n, k : integer; var n, k : integer;
...@@ -90,5 +121,84 @@ end. ...@@ -90,5 +121,84 @@ end.
""" """
} }
/*
INPP
AMEM 2
DSVS R00
R01: ENPR 1
AMEM 1
DSVS R02
R02: NADA
CRVL 0, 0
ARMZ 1, 0
CRVL 0, 0
CRCT 1
SUBT
ARMZ 0, 0
CRVL 1, 0
CRCT 1
CMMA
DSVF R04
CHPR R01, 1
DSVS R03
R04: NADA
CRCT 1
ARMZ 0, 1
R03: NADA
CRVL 0, 1
CRVL 1, 0
MULT
ARMZ 0, 1
DMEM 1
RTPR 1, 0
R05: ENPR 1
AMEM 2
DSVS R06
R06: NADA
CRVL 0, 0
ARMZ 1, 0
CRVL 0, 0
CRCT 1
SUBT
ARMZ 1, 1
CRVL 1, 1
ARMZ 0, 0
CRVL 1, 0
CRCT 0
CMIG
DSVF R08
CRCT 1
ARMZ 0, 1
DSVS R07
R08: NADA
CRVL 1, 0
CRCT 2
DIVI
CRCT 2
MULT
CRVL 1, 0
CMIG
DSVF R10
CHPR R05, 1
DSVS R09
R10: NADA
CHPR R01, 1
R09: NADA
R07: NADA
CRVL 0, 1
CRVL 1, 0
MULT
ARMZ 0, 1
DMEM 2
RTPR 1, 0
R00: NADA
LEIT
ARMZ 0, 0
CHPR R05, 0
CRVL 0, 1
IMPR
DMEM 2
PARA
*/
\ No newline at end of file
src/main/scala/other/Parser.scala
+ 88
− 135
View file @ 27267414
...@@ -3,6 +3,7 @@ package other ...@@ -3,6 +3,7 @@ package other
import scala.util.parsing.combinator._ import scala.util.parsing.combinator._
import sun.java2d.pipe.SpanShapeRenderer.Simple import sun.java2d.pipe.SpanShapeRenderer.Simple
import other.Tudo.rotulos import other.Tudo.rotulos
import com.sun.org.apache.xml.internal.serializer.ToStream.BoolStack
class Arith extends JavaTokenParsers { class Arith extends JavaTokenParsers {
//CONTROLE etc. //CONTROLE etc.
...@@ -10,9 +11,13 @@ class Arith extends JavaTokenParsers { ...@@ -10,9 +11,13 @@ class Arith extends JavaTokenParsers {
var nivelLexico = 0 var nivelLexico = 0
val rotStack = Tudo.proc.RotStack val rotStack = Tudo.proc.RotStack
val stackbooltipo = collection.mutable.Stack[String]()
val stacktipo = collection.mutable.Stack[String]()
val procStack = collection.mutable.Stack[Entrada]() val procStack = collection.mutable.Stack[Entrada]()
val paramCounterStack = collection.mutable.Stack[Int]() val paramCounterStack = collection.mutable.Stack[Int]()
var eh_atrib = false //esta dentro de uma atribuicao
def eh_param = procStack match { def eh_param = procStack match {
case stack if ! stack.isEmpty => true case stack if ! stack.isEmpty => true
// stack.top.isInstanceOf[Procedimento] || stack.top.isInstanceOf[Funcao] // stack.top.isInstanceOf[Procedimento] || stack.top.isInstanceOf[Funcao]
...@@ -30,7 +35,7 @@ class Arith extends JavaTokenParsers { ...@@ -30,7 +35,7 @@ class Arith extends JavaTokenParsers {
def program = { def program = {
def programInOut = "(" ~> repsep(ident,",") <~ ")" def programInOut = "(" ~> repsep(ident,",") <~ ")"
fazTudo.iniciaPrograma fazTudo.iniciaPrograma
"program".iso ~> ident ~ programInOut <~ ";" ~ bloco ~ "." ^^ "program".iso ~> ident ~ opt(programInOut) <~ ";" ~ bloco ~ "." ^^
{ _ => fazTudo.encerraPrograma } { _ => fazTudo.encerraPrograma }
} }
...@@ -84,8 +89,8 @@ class Arith extends JavaTokenParsers { ...@@ -84,8 +89,8 @@ class Arith extends JavaTokenParsers {
def comando_sem_rotulo:Parser[Any] = desvio | atribuicao | repeticao | def comando_sem_rotulo:Parser[Any] = desvio | atribuicao | repeticao |
condicional | comando_composto | chamaId | expr_simples condicional | comando_composto | chamaId | expr_simples
def atribuicao = ident <~ ":=" ~ expr_simples ^^ def atribuicao = (ident ^^ {e => eh_atrib = true; e}) <~ ":=" ~ expr_simples ^^
{ case id => fazTudo.atribuicao(id) } { case id => eh_atrib = false; fazTudo.atribuicao(id) }
def desvio = "goto".iso ~> """\d+""".r ^^ { rot => fazTudo.gotoRotulo(rot,nivelLexico) } def desvio = "goto".iso ~> """\d+""".r ^^ { rot => fazTudo.gotoRotulo(rot,nivelLexico) }
...@@ -125,19 +130,20 @@ class Arith extends JavaTokenParsers { ...@@ -125,19 +130,20 @@ class Arith extends JavaTokenParsers {
Tudo.aplica(rotFim+": NADA") Tudo.aplica(rotFim+": NADA")
} }
def amem1ForFunctions(id:String) {
val opt = TabelaSimb.getById(id)
opt match {
case Some(fun) if fun.isInstanceOf[Funcao] => Tudo.aplica("AMEM 1")
case _ => //Dont care
}
}
//EXPRESSOES BOOLEANAS //EXPRESSOES BOOLEANAS
def boolexpr:Parser[Unit] = def boolexpr:Parser[Unit] =
( (
"(" ~> boolexpr_simples ~> rep( ("and"|"or") <~ boolexpr_simples ) <~ ")" | //"(" ~> boolexpr_simples ~> rep( ("and"|"or") <~ boolexpr_simples ) <~ ")" |
boolexpr_simples ~> rep ( ("and"|"or") <~ boolexpr ) (boolexpr_simples ^^ {e =>
val a = stackbooltipo.pop()
val b = if (stackbooltipo.isEmpty) a else stackbooltipo.pop
if (a != b) {
println("Erro de tipo: comparação entre dois tipos diferentes");
sys.exit(1)
}
e
} ) ~>
rep ( ("and"|"or") <~ boolexpr )
) ^^ ) ^^
{ lst => lst.reverse.foreach { case "and" => fazTudo.aplica("CONJ") { lst => lst.reverse.foreach { case "and" => fazTudo.aplica("CONJ")
case "or" => fazTudo.aplica("DISJ")} case "or" => fazTudo.aplica("DISJ")}
...@@ -155,6 +161,7 @@ class Arith extends JavaTokenParsers { ...@@ -155,6 +161,7 @@ class Arith extends JavaTokenParsers {
case ">=" => fazTudo.aplica("CMAG") case ">=" => fazTudo.aplica("CMAG")
case "<" => fazTudo.aplica("CMME") case "<" => fazTudo.aplica("CMME")
case ">" => fazTudo.aplica("CMMA") case ">" => fazTudo.aplica("CMMA")
case _ => sys.exit(1)
} }
def relacao = "<="|">="|"="|"<>"|"<"|">" def relacao = "<="|">="|"="|"<>"|"<"|">"
...@@ -190,7 +197,16 @@ class Arith extends JavaTokenParsers { ...@@ -190,7 +197,16 @@ class Arith extends JavaTokenParsers {
} }
def expr_simples:Parser[Object] = termo ~ rep( ("+"|"-") ~ termo ) ^^ def expr_simples:Parser[Object] = termo ~ rep( ("+"|"-") ~ termo ) ^^
{ e =>
if (stacktipo.distinct.size > 1)
{ {
println("Erro de tipo detectado!")
sys.exit(1)
} else {
stackbooltipo.push(stacktipo.top)
stacktipo.clear()
}
e match {
case t ~ lst if ! lst.isEmpty => case t ~ lst if ! lst.isEmpty =>
lst.reverse.foreach { lst.reverse.foreach {
case ("+" ~ t) => fazTudo.aplica("SOMA") case ("+" ~ t) => fazTudo.aplica("SOMA")
...@@ -200,9 +216,12 @@ class Arith extends JavaTokenParsers { ...@@ -200,9 +216,12 @@ class Arith extends JavaTokenParsers {
new AnyRef new AnyRef
case t ~ Nil => t case t ~ Nil => t
} }
}
def termo = fator ~ rep( ("*"|"div"|"/") ~ fator ) ^^ def termo = fator ~ rep( ("*"|"div"|"/") ~ fator ) ^^
{ case fat~lst if ! lst.isEmpty => { e =>
e match {
case fat~lst if ! lst.isEmpty =>
lst.map{ case ~(str,_) => str }.reverse.foreach { lst.map{ case ~(str,_) => str }.reverse.foreach {
case "*" => fazTudo.aplica("MULT") case "*" => fazTudo.aplica("MULT")
case "div"|"/" => fazTudo.aplica("DIVI") case "div"|"/" => fazTudo.aplica("DIVI")
...@@ -210,6 +229,7 @@ class Arith extends JavaTokenParsers { ...@@ -210,6 +229,7 @@ class Arith extends JavaTokenParsers {
new AnyRef new AnyRef
case fat ~ Nil => fat case fat ~ Nil => fat
} }
}
def fator = ( "("~expr_simples~")" | chamaId | numero ) ^^ { case p:String => p; case _ => new AnyRef} def fator = ( "("~expr_simples~")" | chamaId | numero ) ^^ { case p:String => p; case _ => new AnyRef}
def getParamsCount(e:Entrada) = e match { def getParamsCount(e:Entrada) = e match {
...@@ -235,9 +255,14 @@ class Arith extends JavaTokenParsers { ...@@ -235,9 +255,14 @@ class Arith extends JavaTokenParsers {
def entraId(id:String) def entraId(id:String)
{ {
TabelaSimb.getById(id) match {
case Some(p) if p.isInstanceOf[Param] => stacktipo.push(p.asInstanceOf[Param].tipo)
case Some(v) if v.isInstanceOf[Var]=> stacktipo.push(v.asInstanceOf[Var].tipo)
case _ =>
}
if (ehProcFun(id)) { if (ehProcFun(id)) {
if ( TabelaSimb.getById(id).get.isInstanceOf[Funcao] ) if ( TabelaSimb.getById(id).get.isInstanceOf[Funcao] )
Tudo.aplica("AMEM 1") if (eh_atrib) Tudo.aplica("AMEM 1")
procStack.push(TabelaSimb.getById(id).get) procStack.push(TabelaSimb.getById(id).get)
paramCounterStack.push(0) paramCounterStack.push(0)
...@@ -262,7 +287,25 @@ class Arith extends JavaTokenParsers { ...@@ -262,7 +287,25 @@ class Arith extends JavaTokenParsers {
} }
if (!procStack.isEmpty && procStack.top.id == "read"){ if (!procStack.isEmpty && procStack.top.id == "read"){
fazTudo.aplica("LEIT") fazTudo.aplica("LEIT")
if (id != "read") fazTudo.atribuicao(id) if (id != "read") {
var tipo = ""
TabelaSimb.getById(id) match {
case Some(s) => s match {
case v:Var => tipo = v.tipo
case p:Param => tipo = p.tipo
case _ =>
}
case _ =>
}
if (tipo != "") {
if (tipo != stackbooltipo.pop()) {
println("Erro de tipo: atribuição com tipos diferentes")
sys.exit(1)
}
}
fazTudo.atribuicao(id)
}
return return
} }
...@@ -289,112 +332,22 @@ class Arith extends JavaTokenParsers { ...@@ -289,112 +332,22 @@ class Arith extends JavaTokenParsers {
object MyParser extends Arith { object MyParser extends Arith {
def main(args: Array[String]) { def main(args: Array[String]) {
// if (args.size != 2) { if (args.size != 1) {
// println("./compilador [ArqEntrada] [NomeArquivoSaida]") println("./compilador [ArqEntrada]")
// sys.exit(1) sys.exit(1)
// } }
// val pascalSource = io.Source.fromFile(args(0)).getLines().mkString("\n") val pascalSource = io.Source.fromFile(args(0)).getLines().mkString("\n")
val pascalSource = ArqExemplos.exemplo8_10 // val pascalSource = ArqExemplos.p
try
println(parseAll(PascalParser.program, pascalSource)) println(parseAll(PascalParser.program, pascalSource))
Tudo.MEPA foreach println catch { case e : Exception => println("Erro no programa"); sys.exit(1) }
// val mp = Tudo.MEPA val mp = Tudo.MEPA
// val pw = new java.io.PrintWriter(args(1)) // mp foreach println
// mp foreach pw.println val pw = new java.io.PrintWriter("MEPA")
mp foreach pw.println
pw.close
} }
//TODO: function return as parameter/atribution //TODO: function return as parameter/atribution
val noloopPascalProgram =
"""program exemplo12 (input,output);
var x: integer;
function p(a:integer; var t: integer):integer;
label 200;
var a,b:integer;
c:integer;
procedure q(var a:integer; y:integer);
begin
q(a,c+b+a+20);
write(b,a);
read(a,b)
end;
begin
p := p(20,a);
t := (23 div (x/2)) + b
end;
begin
x := p(x,x);
write(x)
end.
"""
val loopPascalProgram =
"""program exemplo12 (input,output);
var x: integer;
function p(var t: integer):integer;
label 200;
var a,b:integer;
c:integer;
begin
while x>2 do begin
x := x+1;
p := p(t-10)
end;
t := x - 20*4 - (23 div (x/2)) + b
end;
begin
x := p(x);
write(x)
end.
"""
val simplePascalProgram =
"""program exemplo12 (input,output);
var x: integer;
function p(var t: integer):integer;
label 200;
var a,b,c:integer;
begin
200: if t>3 and (p(x)<4 or t=-1) and t>=1 then
write(t);
read(x);
goto 200;
t := x - 20*4 - (23 div (x/2)) + b;
p := t
end;
begin
x := p(x);
write(x)
end.
"""
val complexPascalProgram =
"""program exemplo12 (input,output);
var x: integer;
procedure p(var t: integer);
label 100,200;
var s : integer;
function f(z:integer):integer;
begin
if z=1 then z:=2;
if z<0 and 10>2 then goto 200
else if z=0 then f:=2
else f:=f(z-2)*z+1
end;
begin
100: s:=f(t); t:=s;
if t<x then goto 100;
200: x:=x-1
end;
procedure r;
procedure q;
var y:integer;
begin read(y); p(y); write(y) end;
begin q end;
begin read(x); r end.
"""
} }
src/main/scala/other/TabelaSimb.scala
+ 2
− 2
View file @ 27267414
...@@ -6,8 +6,8 @@ case class Funcao (override val id:String, paramInfo:List[Param], desloc:Int, ...@@ -6,8 +6,8 @@ case class Funcao (override val id:String, paramInfo:List[Param], desloc:Int,
nvLex:Int, rotEntrada:String) extends Entrada(id) nvLex:Int, rotEntrada:String) extends Entrada(id)
case class Procedimento(override val id:String, paramInfo:List[Param], case class Procedimento(override val id:String, paramInfo:List[Param],
nvLex:Int, rotEntrada:String) extends Entrada(id) nvLex:Int, rotEntrada:String) extends Entrada(id)
case class Param(override val id:String, desloc: Int, byRef:Boolean, nvLex:Int) extends Entrada(id) case class Param(override val id:String, desloc: Int, byRef:Boolean, nvLex:Int, tipo:String = "integer") extends Entrada(id)
case class Var(override val id:String, desloc: Int, nvLex:Int) extends Entrada(id) case class Var(override val id:String, desloc: Int, nvLex:Int, tipo:String = "integer") extends Entrada(id)
case class Label(override val id:String, rotulo:String, nvLex:Int, var used:Boolean = false, var put:Boolean = false) extends Entrada(id) case class Label(override val id:String, rotulo:String, nvLex:Int, var used:Boolean = false, var put:Boolean = false) extends Entrada(id)
object TabelaSimb { object TabelaSimb {
......
src/main/scala/other/Tudo.scala
+ 2
− 2
View file @ 27267414
...@@ -285,7 +285,7 @@ object Tudo { ...@@ -285,7 +285,7 @@ object Tudo {
} }
} }
def reservadas = List("program", "label", "var", "procedure", "function","begin","end", // def reservadas = List("program", "label", "var", "procedure", "function","begin","end",
"if", "then", "else", "while", "do", "or", "and","div","not") // "if", "then", "else", "while", "do", "or", "and","div","not")
} }
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment