Skip to content

Latest commit

 

History

History
444 lines (336 loc) · 9.44 KB

README.md

File metadata and controls

444 lines (336 loc) · 9.44 KB

Mio Programming Language

  • By
    • B19102104 Muhammad Umar Anzar
    • B19102048 Izhan Nadeem
    • B19102004 Abdul Muqsit
  • University Of Karachi
  • UBIT department of computer science
  • Subject Compiler Construction

Description

Project: Front End Compiler Project

Language New Keywords

Java/C# Mio Java/C# Mio
if if int int
else else double point
while loop till char char
do do till byte excluded
for excluded float excluded
forEach loop thru string str
switch shift boolean bool
case state long excluded
default default dynamic /var val
continue cont comment @comment
break stop comment @@multi-line comment@@
return ret line terminator; ;
void implicit def
main begin true/false true/false
Java/C# Mio Java/C# Mio
class Class try test
interface excluded catch except
abstract Abstract finally finally
extends Class name(inherited class) throw raise
final const throws raises
implements no interface in
this Self import import
super Parent package package
public implicit null NaN
private $$identiferName
protected $identiferName
static Static
new new

Classification of Lexemes

Operator

Same:

  • Precedence
  • Associativity
  • Syntactically replaceable
Relational inc_dec not pm mdm power simple assignment compound assignment and or
< ++ ! + * ^ = += && ||
> -- - / *=
<= % -=
>= %=
!=
==

Keyword

Same:

  • Syntactically replaceable
DT String var
int str var
point
char
val
bool
if else loop till thru do class boolConst null
if else loop till thru do Class true/false NaN
switch case break continue return static
switch case stop cont ret Static
final main in default new abstract super this
const begin in default new Abstract Parent Self
Three ps try catch finally throw throws package import
public test except finally raise raises package import
private
protected

Syntax

Comment

Syntax:

@ Single Line Comment

@@ Multi
Line
comment @@

Main Function

Syntax:

Begin {
    block of code
}

Variable Definition and Initialization

Syntax:

declaration: 
dataType variableName;

assignment:
variableName = Constant;

declaration and assignment:
dataType variableName = Constant;

Type Casting

Syntax:
convt(DT) value

int x = 2 * convt(int)3.9        @ Here 3.9 is converted into 3 then * 2

int x = convt(int) 2.9 * 32      @ Here 2.9 * 32 then converted into integer

Conditional Statement

  • IF AND ELSE
Syntax:

if (condition) {
    block of code
}


if (condition) {
    block of code
} else {
    block of code
}

if (condition) {
    block of code
} else if (condition) {
    block of code
}
  • SWITCH CASE
Syntax:

shift(expression) {
    state x:
        code block
        stop;
    state y:
        code block
        stop;
    default:
        code block
}

Loop

  • While Loop
Syntax:

loop till (condition) {
     code block
}

int i = 0;
loop till (i < 5) {
  block of code
  i++;
}
  • For Loop (iterator)
Syntax:

loop  thru ( DT i in (initial, final, incremental) ) {
    block of code
}
loop  thru ( int i in (0,5,1) ) {
    block of code
}

Function

  • Procedure
Syntax:

def functionName(parameters,comma,separated) {
	block of code
}

def foo(int a, point b) {

}
  • Function
    • returnType is dataType
def returnType Identifer(parameters,comma,separated) {
	block of code
	ret value;
}

def str foo(str x) {
	block of code
	ret x;
}

Class

  • Class Structure
Syntax:

Class className(){

}
Class className(inheritedClass){

}
Class className(inheritedClass1,nheritedClass2){

}
Class className <Parameter> (inheritedClass1,nheritedClass2){

}
  • Abstract class and function
Abstract Class Shape{  
    Abstract draw();  
}
  • Example code
Syntax:

Class Car(){
    
    dataType attribute;         @public
    static dataType attribute;  @static
    dataType $attribute;        @private
    dataType $$attribute;       @protected
	
    @This function is public and void
	def foo(dataType variable1,dataType variable2) {
		@block of code
	}
    
    @This function is private and returnType is there
    def dataType $foo1(dataType variable1,dataType variable2) {
        @block of code
        ret variable1+variable2;
    }

    @This function is protected and returnType is there
    def dataType $$foo2(dataType variable1,dataType variable2) {
        @block of code
        ret variable1+variable2;
    }
}
  • Parametric class
Syntax:

begin 
{
    Polygone<A> x = new Box<A>();
    Polygone<str> x_alpha = new Box<str>();
    
    x.add(new A(10));
    x_alpha.add(new str("Hello World"));
}

Class Polygone<T>(){
   T $t; @private variable

   add(T t) {
      this.t = t;
   }

   T get() {
      return t;
   }   
}
  • Example code of multiple inheritances
Syntax:

Class JDM(){
	static dataType attribute;
	dataType $$attribute;
}

Class Supra(Car, JDM){	//Car and JDM classes are inherited
	dataType attribute;
}

Class UnitedBravo(Car){	//Car classe are inherited
	dataType attribute;
}
  • Example of code
package project.src;

import Properties.Registration;
import Random.^;

Abstract Class $$Vehicle () {
    str $type;
    str model;
    str name;
    Registration $register = NaN;
    int wheelers = 2;   @ default bike
    
    def Vehicle(str type, str city, str licenseNo, int wheels) {
        this.type = type;
        register = new Registration(city, licenseNo);
    }

    def Vehicle(str type, str city_name, str license_number, int wheels) {
        this.type = type;
        register = new Registration(city_name, license_number);
        wheelers = wheels;
    }

    def str getType() {
        ret this.type;
    }
    def Abstract int getWheelers();

    def str getModel() {
        ret this.model;
    }
    def str getName() {
        ret this.name;
    }
    def str getRegisteration() {
        ret this.register;
    }

}


Class Car (Vehicle,Vehicle) {
    point engine_size;

    def Car(str type, str city_name, str license_number,point engineSize) {
        Parent(type,new Registration(city_name, license_number),4);
        engine_size = engineSize;
    }
    
    def int getWheelers() {
        ret Parent.wheelers;
    }

    def str[] information () {
        ret new str[] {Parent.getType(),Parent.getModel(),
        Parent.getName(),Parent.getRegistration(),
        convt(str) getWheelers()};
    }
}

def str printInformation(str [] info) raises Exception  {
    str information = new str();
    loop thru (int i in info) {
        information += info[i];
    }
    return information;
}

def Car bmw(str model,str city) {
    ret Car("BMW", city, "ABC-" + convt(str) (random()*1000), 10.4);
}

begin {
    
    Car car1 = bmw("2018","Karachi");
    Car car2 = Car("2017", "Islamabad", "MFUBIT-2018",95);

    test {
        str info = printInformation(car2.information());
    } except (Mio.lang.Exception e) {
        raise new Exception();
    }
}