JavaCC语法分析实验二

最新推荐文章于 2024-01-10 17:50:35 发布
最新推荐文章于 2024-01-10 17:50:35 发布
阅读量1.6k 收藏 41
点赞数 5
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/mj256115/article/details/116861822
版权

JavaCC==语法分析==实验二


JavaCC 语法分析实验二

一、实验目的：

  1. 掌握 JavaCC 语法分析器工作原理；
  2. 设计 MiniC 的上下文无关文法，在“Parser.jjt”文件中表示该文法，生
    成调试递归下降分析程序，以便对任意输入的符号串进行分析；
  3. 输出语法树。

二、MiniC 语法

〈程序〉 → int main() {〈语句块〉* }
〈语句块〉 →〈语句〉| {〈语句块〉* }
〈语句〉 →〈顺序语句〉|〈条件语句〉|〈循环语句〉
〈顺序语句〉→ (〈声明语句〉| 〈赋值语句〉) ”;” 〈声明语句〉→ int ID,ID,…,ID //思考如何表示
〈赋值语句〉→ ID =〈表达式〉
〈条件语句〉→ if (〈条件〉)〈语句块〉 else 〈语句块〉
〈循环语句〉→ while (〈条件〉)〈语句块〉
〈条件〉 →〈表达式〉〈关系符〉〈表达式〉
〈表达式〉 → // 可以使用javacc自动生成的 表达式(Expression)的文法
〈关系符〉 → ＜| ＜＝| ＞| ＞＝ | ＝＝| !=
注意：该文法为参考文法，可以对其适当修改。首先，文件中的文法必须
不含左递归和回溯；其次，同学们可以补充其它语法规则，如布尔表达式，for
语句等。

三、实习要求

  1. 以文件流的形式读入要分析的 C 语言程序；
  2. 如果输入的源程序符合 MiniC 的语法规范，输出语法树。
    扩展要求：具有错误检查的能力，可以输出错误所在的行号，并简单提
    示。

四、实验过程和指导：

  1. 新建一个用于 javacc 编辑的 jjt 模板文件：
    （1）新建 java 项目
    （2）建立一个语法分析包（例如：package parser）
    （3）在 parser 包内，“新建”-“其它”-“JavaCC Template File”
    （4）创建一个“.jjt”文件，如图 1 所示，建议选用“Non staitc”模式：
    图 1 新建 jjt 模板文件

  2. 在模板文件中修改词法部分和语法部分（如图 2 所示），将 MiniC 的文法依照要求写入 jjt 文件。

  3. 修改 jjt 文件的 main 方法（如图 2 所示），使其执行任务是：指定要进
    行语法分析的源程序，执行语法分析，输出语法树。
    在这里插入图片描述

五、程序输入/输出示例：

要求：测试多组源程序查看结果。
图 3 和图 4 为一组作为参考的测试源代码及其对应的语法树，具体的语法
树节点来自于同学们自定义的文法。
注意：文法的定义不同，语法树的层级关系则不同。
在这里插入图片描述
在这里插入图片描述

六.实验jjt源代码：

1.Start部分

impleNode Start() :
{}
{
  Program()
  {
    return jjtThis;
  }
}
 
void Program() :
{}
{
 < INT>
 < MAIN>
 < LBRACE>
 < RBRACE>
 < BLBRACE>
    (SentenceBlock())*
    (
      ReturnSent()
    )
 < BRBRACE>
}
 
void SentenceBlock():
{}
{
  Sentence()
| < BLBRACE>
(SentenceBlock())*
< BRBRACE>
}
 
void Sentence() :
{}
{
  SequenceSen()
  | ConditionSen()
  | LoopSent()
}
 
void SequenceSen() :
{}
{
   [
      AssigmentSen()
    | DeclareSen()
   ]
  < SEMICOLON>
}
 
void DeclareSen() :
{}
{
  [
       <INT>
   | <DOUBLE>
   | <FLOAT>
   | <CHAR>
  ]
   Identifier()
   (<COMMA> Identifier())*
}
 
void AssigmentSen() :
{}
{
  Identifier()
  <ASSIGN>
  Expression()
}
 
void ConditionSen() :
{}
{
  <IF>
   Condition()
   SentenceBlock()
}
 
void LoopSent() :
{}
{
  <WHILE>
  Condition()
  SentenceBlock()
}
 
void Condition() :
{}
{
  "("
  Expression()
  Relations()
  Expression()
  ")"
}
   
void Expression() :
{}
{
  AdditiveExpression()
}
 
void AdditiveExpression() :
{}
{
  MultiplicativeExpression()
  (
    (
      "+"
    | "-"
    )
    MultiplicativeExpression()
  )*
}
 
void MultiplicativeExpression() :
{}
{
  UnaryExpression()
  (
    (
      "*"
    | "/"
    | "%"
    )
    UnaryExpression()
  )*
}
 
void UnaryExpression() :
{}
{
  "(" Expression() ")"
| Identifier()
| Integer()
}
 
void Identifier() :
{}
{
  < IDENTIFIER >
}
 
void Integer() :
{}
{
  < INTEGER_LITERAL >
}
 
void Relations() :
{}
{
  <GT>
  | <LT>
  | <EQUAL>
}
 
void ReturnSent() :
{}
{
    < RETURN > <INTEGER_LITERAL> < SEMICOLON>
}

2.main方法部分

import java.io.FileReader;
import java.io.FileNotFoundException;
public class WorkGrammar
{
  public static void main(String args [])throws FileNotFoundException
  {
   System.out.println("语法分析");
   FileReader Fr = new FileReader("test3.txt"); 
    new WorkGrammar(Fr);
    try
    {
      SimpleNode n = WorkGrammar.Start();
      n.dump("");
      System.out.println("END");
    }
    catch (Exception e)
    {
      System.out.println("Oops.");
      System.out.println(e.getMessage());
    }
  }
}

3.源jjt代码

/**
 * JJTree template file created by SF JavaCC plugin 1.5.28+ wizard for JavaCC 1.5.0+
 */
options
{
  static = true;
}

PARSER_BEGIN(WorkGrammar)
package WorkGrammar;
import java.io.FileReader;
import java.io.FileNotFoundException;
public class WorkGrammar
{
  public static void main(String args [])throws FileNotFoundException
  {
   System.out.println("语法分析");
   FileReader Fr = new FileReader("test.txt"); 
    new WorkGrammar(Fr);
    try
    {
      SimpleNode n = WorkGrammar.Start();
      n.dump("");
      System.out.println("END");
    }
    catch (Exception e)
    {
      System.out.println("Oops.");
      System.out.println(e.getMessage());
    }
  }
}

PARSER_END(WorkGrammar)


SKIP :
{
  " "
| "\t"
| "\n"
| "\r"
| < "//" (~[ "\n", "\r" ])*
    (
      "\n"
    | "\r"
    | "\r\n"
    ) >
| < "/*" (~[ "*" ])* "*"
    (
      ~[ "/" ] (~[ "*" ])* "*"
    )*
    "/" >
}
TOKEN : /* KEYS */
{
  < INT : "int" >
| < DOUBLE : "double" >
| < FLOAT : "float" >
| < CHAR : "char" >
| < VOID : "void" >
| < FOR : "for" >
| < WHILE : "while" >
| < RETURN : "return" >
| < IF : "if" >
| 	< MAIN:"main">
}
TOKEN : /* LITERALS */
{
  < INTEGER_LITERAL :
    < DECIMAL_LITERAL > ([ "l", "L" ])?
  | < HEX_LITERAL > ([ "l", "L" ])?
  | < OCTAL_LITERAL > ([ "l", "L" ])? 
    >
| < #DECIMAL_LITERAL : [ "1"-"9" ] ([ "0"-"9" ])* >
| < #HEX_LITERAL : "0" [ "x", "X" ] ([ "0"-"9", "a"-"f", "A"-"F" ])+ >
| < #OCTAL_LITERAL : "0" ([ "0"-"7" ])* >
}
TOKEN : /* OPERATORS */
{
  < PLUS : "+" >
| < MINUS : "-" >
| < MULTIPLY : "*" >
| < DIVIDE : "/" >
| < ASSIGN : "=" >
| < GT : ">" >
| < LT : "<" >
| < EQUAL : "==" >
}

TOKEN : /* SEPARATER */
{
  < QUATION : "\"" >
| < SEMICOLON : ";" >
| < BLBRACE : "{" >
| < BRBRACE : "}" >
| < LBRACE : "(" >
| < RBRACE : ")" >
| < COMMA : "," >
| < EXCLA_SYM : "!" >
}
TOKEN : /* IDENTIFIERS */
{
  < IDENTIFIER :
    < LETTER >
    (
      < LETTER >
    | < DIGIT >
    )* >
| < #LETTER : [ "_", "a"-"z", "A"-"Z" ] >
| < #DIGIT : [ "0"-"9" ] >
}

SimpleNode Start() :
{}
{
  Program()
  {
    return jjtThis;
  }
}

void Program() :
{}
{
 < INT>
 < MAIN>
 < LBRACE>
 < RBRACE>
 < BLBRACE>
	(SentenceBlock())*
	(
	  ReturnSent()
	)
 < BRBRACE>
}

void SentenceBlock():
{}
{
  Sentence()
| < BLBRACE>
(SentenceBlock())*
< BRBRACE>
}

void Sentence() :
{}
{
  SequenceSen()
  | ConditionSen()
  | LoopSent()
}

void SequenceSen() :
{}
{
   [
      AssigmentSen()
    | DeclareSen()
   ]
  < SEMICOLON>
}

void DeclareSen() :
{}
{
  [
  	 <INT>
   | <DOUBLE>
   | <FLOAT>
   | <CHAR>
  ]
   Identifier()
   (<COMMA> Identifier())*
}

void AssigmentSen() :
{}
{
  Identifier()
  <ASSIGN>
  Expression()
}

void ConditionSen() :
{}
{
  <IF>
   Condition()
   SentenceBlock()
}

void LoopSent() :
{}
{
  <WHILE>
  Condition()
  SentenceBlock()
}

void Condition() :
{}
{
  "("
  Expression()
  Relations()
  Expression()
  ")"
}
  
void Expression() :
{}
{
  AdditiveExpression()
}

void AdditiveExpression() :
{}
{
  MultiplicativeExpression()
  (
    (
      "+"
    | "-"
    )
    MultiplicativeExpression()
  )*
}

void MultiplicativeExpression() :
{}
{
  UnaryExpression()
  (
    (
      "*"
    | "/"
    | "%"
    )
    UnaryExpression()
  )*
}

void UnaryExpression() :
{}
{
  "(" Expression() ")"
| Identifier()
| Integer()
}

void Identifier() :
{}
{
  < IDENTIFIER >
}

void Integer() :
{}
{
  < INTEGER_LITERAL >
}

void Relations() :
{}
{
  <GT>
  | <LT>
  | <EQUAL>
}

void ReturnSent() :
{}
{
	< RETURN > <INTEGER_LITERAL> < SEMICOLON>
}

七.实验结果

//实验测试一
int main(){
    int a,b;
    a = 23;
   while(a>2){
       int x;
       x = a+b;     
   }
   return 0;
}

在这里插入图片描述

//实验测试二
int main(){
    int a,b;
    a=1;
    b=3;
   if(a<b){
       int x;
       x = a;
       a = b;
       b = x;     
   }
   return 0;
}

在这里插入图片描述

熙尛
关注
  • 5
    点赞
  • 踩
  • 41
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
JavaCC的语法描述
liu_jin_hui的博客
11-12 601
基于JavaCC的语法描述 只要为JavaCC描述"语句"、“表达式”、“函数调用” 这样的语法单位各自是由怎样的token序列构成的，就能够对该语法进行分析。 例如，最简单的赋值表达式可以描述为 "符号" = "表达式" 的排列。换言之，如果存在 "符号" = "表达式" 表达式这样的排列，那就是赋值表达式。 这个规则在 JavaCC 中表示成下面这样 assign(): //定义赋值表达式，名字任取 {} { <IDENTIFIER> "=" expr() //<IDEN
编译原理实验二语法分析java代码JavaCC
06-28
设计MiniC的上下文无关文法，利用JavaCC生成调试递归下降分析程序，以便对任意输入的符号串进行分析。本次实验的目的主要是加深对递归下降分析法的理解。 按照MiniC语言的语法规则检查词法分析输出的记号流是否符合这些规则，并根据这些规则所体现出的语言中的各种语法结构的层次性。把规则写入到JavaCC的 .jjt文件中，可以生成树状的层次结构。
JavaCC简单语法
Hyvi的专栏
09-26 304
options { LOOKAHEAD = 1; CHOICE_AMBIGUITY_CHECK = 2; OTHER_AMBIGUITY_CHECK = 1; STATIC = true; DEBUG_PARSER = false; DEBUG_LOOKAHEAD = false; DEBUG_TOKEN_MANAGER = false; ERR...
编译原理中用javacc实现MiniC的词法分析、语法分析、语义分析
02-23
用Javacc实现MiniC的词法分析、语法分析、语义分析。在词法分析部分根据单词的构词规则分类，输出二元式；在语法分析部分利用Javacc实现LL(1)文法，判断源语言是否符合MiniC的语法，如果不符合，给出语法错误信息；语义分析部分是在语法分析的基础上根据属性文法制导翻译，进行语义分析，输出四元式。
编译原理实验二语法分析
06-17
编译原理语法分析，教材后面试验二，java版
javacc语法分析.zip
01-16
在"实验二"中，我们很可能是要深入理解并实践JavaCC的使用方法。这可能包括以下几个方面： 1. **JavaCC基本概念**：首先，我们需要了解JavaCC的基本结构和概念，如文法文件（Grammar File）、非终结符（Non-...
javacc语义分析.zip
01-16
JavaCC，全称为Java Compiler Compiler，是一款强大的词法和语法分析工具，主要用于生成Java源代码来解析其他语言的语法结构。它广泛应用于构建编译器、解释器以及任何需要处理结构化文本或数据流的应用。JavaCC是...
编译原理实验词法语法分析
12-19
通过编写JJ文件（javacc的输入文件），开发者可以定义语法规则，javacc会自动生成对应的词法分析器和语法分析器源代码。生成的解析器能够处理符合文法的输入，并在遇到语法错误时提供有用的错误消息。 在“编译原理...
javacc 语法分析
half_m的博客
01-16 2865
javacc语法分析；编译原理
JavaCC实现语法分析
linovce的博客
12-27 2375
语义分析 设计MiniC的上下文无关文法，在“Parser.jjt”文件中表示该文法，生成调试递归下降分析程序，以便对任意输入的符号串进行分析； 以文件流的形式读入要分析的C语言程序； 如果输入的源程序符合MiniC的语法规范，在文件中输出语法树。 MiniC语法〈程序〉 → int main() {〈语句块〉* } 〈语句块〉 →〈语句〉| {〈语句块〉* } 〈语句〉 →〈顺序语句〉|〈条件
JavaCC语法文件中文版 V2.0_静水71
11-03
JavaCC 语法文件 中文版本 翻译的英文，并做了整理，形成了标题，便于查看。 只用于学习交流，如需发布，请不要修改其内容。谢谢！
基于Minic的语法分析器（javacc）
12-30
基于Minic的语法分析器，javacc书写，实现了文件的读取和写入操作加压后可直接导入运行
javacc 语法分析代码
01-11
1. 掌握 JavaCC 语法分析器工作原理； 2. 设计 MiniC 的上下文无关文法，在“Parser.jjt”文件中表示该文法，生成调试递归下降分析程序，以便对任意输入的符号串进行分析； 3. 输出语法树。 4. 以文件流的形式读入要分析的 C 语言程序； 5. 如果输入的源程序符合 MiniC 的语法规范，输出语法树。
编译原理实验三语义分析JavaCC代码
06-28
通过上机实习，加深对语法制时翻译原理的理解，掌握将语法分析所识别的语法成分变换为中间代码的语义翻译方法。 采用递归下降语法制导翻译法对算术表达式、赋值语句、条件语句、循环语句进行语义分析生成四元式序列。
java版语法分析程序
11-15
java版 语法分析程序 树结构 swing
java 语法分析_使用JavaCC做语法分析[转]
weixin_32485965的博客
02-12 488
实用javacc前言本系列的文章的宗旨是让大家能够写出自己的编译器,解释器或者脚本引擎,所以每到理论介绍到一个程度后,我都会来讨论实践问题.理论方面,编译原理的教材已经是够多了,而实践的问题却很少讨论.前几节文章只讨论到了词法分析和LL文法分析,关键的LR文法分析这里却还没有讲,我们先不要管复杂的LR文法和算法,让我们使用LL算法来实际做一些东西后再说.本文将介绍一个在JAVA上广泛使用的LL算法...
JAVACC使用总结（五）：语法进阶-集合函数递归脚本
qq_15089775的博客
05-03 1854
JAVACC使用总结（五）：语法进阶-集合函数递归脚本
javacc知识点
最新发布
weixin_53908842的博客
01-10 1031
javacc的语法描述性文件以.jj结尾，一般情况下采用 1、option{JavaCC的选项} options部分，用于放置 JavaCC 的选项，常见option包括： STATIC：用于决定JavaCC生成的所有成员及方法是否被定义为static(注意：定义为static后，JavaCC所生成的解析器无法再多线程环境下使用）值为 true，表示定义为 static；值为 false，表示不定义为 static该选项的默认值为 true。STATIC = false;（以英文分号结尾）
JavaCC词法分析器和语法分析器学习步骤
WhereIsMyChair的博客
02-28 2376
javacc入门指导--关于JavaCC介绍的很详细的文章主要介绍学习JavaCC的过程和方法，对其内容不作详细介绍。一、选定使用JavaCC的平台1、可以通过eclipse安装插件；2、也可以自己下载安装；具体的过程网站上查看，如果已经安装eclipse的话，推荐第一个方法，这样会比较方便你使用。二、了解JavaCC的.jj文件的格式及主要部分的含义可以在网上寻找相关的实例，也可以直接阅读您所下...
java语法分析器_JavaCC语法分析器
06-10
JavaCC是一种基于Java语言开发的语法分析器生成器，可以用来生成Java语言编写的语法分析器。它可以根据用户定义的语法规则，生成一个自动机，并根据自动机构建出一个语法分析器。JavaCC支持自定义的语法规则，可以处理LL(k)文法、LALR(k)文法和正则文法，并且支持语法分析错误的恢复和处理。JavaCC还提供了许多高级的编程语言特性，例如嵌入式代码、语法扩展、异常处理等，可以让用户更加方便地生成自己所需的语法分析器。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值