Upload File

10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 grammar rule semantic rule class → class...

  • Home
  • Documents
  • 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls
35
INF 3110/4110 - 2004 INF 5110 - 2012 3/7/12 1

Upload: others

Post on 13-Jul-2020

7 views

Category:

Documents


0 download

Report

TRANSCRIPT

Page 1: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 1

Page 2: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 2

Oppgave 6.5

Page 3: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 3

Page 4: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 4

Oppgave 6.7

Page 5: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 5

Page 6: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 6

Oppgave 6.13 a 1)

Page 7: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 7

Page 8: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 8

Oppgave 6.13 a 2)

Page 9: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 9

Page 10: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 10

Page 11: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 11

Page 12: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 12

Page 13: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 13

Page 14: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 14

Page 15: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 15

Oppgave 6.13 b)

Page 16: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 16

Page 17: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 17

Page 18: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 18

Page 19: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 19

Page 20: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 20

Page 21: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 21

Page 22: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 22

Oppgave 6.13 c)

Page 23: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 23

Page 24: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 24

Page 25: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 25

Page 26: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 26

Page 27: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 27

Grammar Rule Semantic Rule

class → class name { decls } decls.enclosingClassName = name.name

decls1 → decls2 ; decl decls2.enclosingClassName = decls1.enclosingClassName decl.enclosingClassName = decls1.enclosingClassName

decls → decl decl.enclosingClassName = decls.enclosingClassName

decl → variable-decl

decl → method-decl method-decl.enclosingClassName = decl.enclosingClassName

type → int type.type = int

type → bool type.type = bool

type → void type.type = void

Page 28: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 28

Grammar Rule Semantic Rule

method-decl → type name ( params ) body

method-decl.OKconstructor = if (name.name = method-decl.enclosingClassName) then if (not(type.type = void))then error(“constructor not of type void”) else ok

Eller

method-decl.OKconstructor = if (name.name = method-decl.enclosingClassName) and (not(type.type = void))then error(“constructor not of type void”) else ok

Page 29: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

2007 – 2b

3/7/12 29

Page 30: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 30

Page 31: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 31

Grammar Rule Semantic Rule

function-decl → type id ( ) body

function-decl.has_parameter = no

function-decl → type id ( parameter ) body

function-decl.has_parameter = yes function-decl.param-kind = parameter.kind function-decl.param-type = parameter.type

parameter → type id parameter.kind = var parameter.type = type.type

parameter → type func id parameter.kind = func parameter.type = type.type

type → int type.type = integer

type → bool type.type = boolean

type → void type.type = void

Page 32: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 32

Grammar Rule Semantic Rule

call → id () call.ok = (lookup(id.name).has_parameter=no)

call → id1(id2) call.ok = (lookup(id1.name).has_parameter=yes) and (lookup(id2.name).kind= (lookup(id1.name).param-kind) and (lookup(id2.name).type= (lookup(id1.name).param-type) and (if lookup(id2.name).kind=func then (lookup(id2.name).has_parameter=no) else true)

Page 33: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 33

Page 34: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 34

Grammar Rule Semantic Rule

func → type func id signature stmt-list

stmt-list.type = type.type

type → int type.type = Integer

type → bool type.type = Boolean

stmt-list1 → stmt-list2 stmt stmt-list2.type = stmt-list1.type stmt.type = stmt-list1.type

stmt-list → stmt stmt.type = stmt-list.type

stmt → return-stmt return-stmt.type = stmt.type

return-stmt → return exp return-stmt.ok = (return-stmt.type = exp.type)

Page 35: 10 - 2004 10 - 2012 · 10 - 2004 10 - 2012 3/7/12 27 Grammar Rule Semantic Rule class → class name { decls } decls.enclosingClassName = name.name decls 1 → decls 2; decl decls

INF 3110/4110 - 2004

INF 5110 - 2012

3/7/12 35

Grammar Rule Semantic Rule

exp → id exp.type = lookup(id.name)

exp → id1 + id2 exp.type = if lookup(id1.name)= Integer and lookup(id2.name)= Integer then Integer else ErrorType

exp → true exp.type = Boolean

exp → false exp.type = Boolean


RULE 12 ARBITRATION - SEC · 2004. 3. 24. · Rule 12 – Page 1 of 23 Rule 12 Arbitration Matters Subject to Arbitration Rule 12.1(a). Any dispute, claim or controversy between parties

PowerPoint Presentation · PPT file · Web view2016-10-09 · Smart Snacks Interim Final Rule. 2004. Local Wellness. ... Only plain water, ... PowerPoint Presentation

Land Transport (Road User) Rule 2004 SR 2004/427 Rule · PDF filePrice code: 73—E 1. Land Transport ... 2004/427 Land Transport (Road User) Rule 2004 Part 1 cl 1.6 approved, in relation

Rule 31002 Land Transport Rule: Heavy Vehicles 2004 · 2009. 9. 25. · Pt 1 Land Transport Rule: Heavy Vehicles 2004 passenger service vehicles, and brakes. Most of the rule's provisions

Chapter 10 Association Rule

Land Transport Rule: Heavy Vehicles 2004 Part 1 …nzta.thomsonreuters.co.nz/DLEG-NZL-LTSA-T.LTR-31002.pdf · Pt 1 Land Transport Rule: Heavy Vehicles 2004 This rule sets out requirements

90/10 Rule

10 Second Rule Study Guide

rule 8-10 presentation ppt

Washington Mutual (WMI) - Debtors' Motion for an Order Pursuant to Bankruptcy Rule 2004 and Local Bankruptcy Rule 2004-1 Directing the Examination of Witnesses and Production of Documents

The Rule of Law and the MDG 2004

Monday, September 20, 2004 · 2016. 10. 27. · will not be known until this rule is issued. TSA notes that the DOJ final rule, requiring candidates who apply for flight training

1 Ching-Ming ’ s Work Log 10/11/2004-10/17/2004 10/11/2004-10/17/2004 10/11/2004-10/17/2004 10/18/2004-10/24/2004 10/18/2004-10/24/2004 10/18/2004-10/24/2004

Land Transport (Road User) Rule 2004nzta.thomsonreuters.co.nz/REG-NZL-PUB-Y.2004-427.pdf · 7.20 Dual steering systems ... (Road User) Rule 2004. (2) This rule is the Land Transport

RULE-MAKING ORDER CR-103 (June 2004) (Implements RCW … · RULE-MAKING ORDER CR-103 (June 2004) (Implements RCW 34.05.360) Agency: Forest Practices Board Permanent Rule Emergency

2004 Notarial Practice Rule

POWERFUL PRESENTATIONSexpressiveconsulting.fatcow.com/wp-content/uploads/2015/...POWERFUL PRESENTATIONS Guy Kawasaki’s 10, 20, 30 Rule 10, 20, 30 Rule 10 Slides! (10 Topics) 10,

10 Chain Rule

23Mar2018 - Operational Risk · Rule 1 = 10 Rule 2 = 10 Rule 3 = 0 Control Assessments = 0 Rule 4 = 0 Rule 5 = 0 Issues & Action Plans = 80 Rule 6 = 80 Rule 7 = 0 Score at risk level

90 10 Rule

The 10 Second Rule: Doing The Rule For Families

RULE-MAKING ORDER CR-103 (June 2004) (Implements RCW …

Rule 31002 Land Transport Rule: Heavy Vehicles 2004 · Pt 1 Land Transport Rule: Heavy Vehicles 2004 passenger service vehicles, and brakes. Most of the rule's provisions have been

Web Publishing Rule on ISA 2004

2004 SOFTBALL NFHS DP/FLEX RULE

CR-102 (June 2004) PROPOSED RULE MAKING … · PROPOSED RULE MAKING CR-102 (June 2004) ... school facilities as well as approximately 450 private schools. These rules are administered

Rule 31002 Land Transport Rule: Heavy Vehicles 2004 1 Land Transport Rule: Heavy Vehicles 2004 passenger service vehicles, and brakes. Most of the rule's provisions have been carried

RULE PAGE NO. TITLE I. RULES FOR PROCEEDINGS IN DISTRICT ... · Judicial Administrators 10 Rule 5.0. Courtroom Use 10 Rule 5.1. Accessibility to Judicial Proceedings 11 Rule 5.2

Recent Significant Rule Makings and Changes in USPTO Practice February 3, 2004

Rule 10-14

Land Transport (Road User) Rule 2004 · Land Transport (Road User) Rule 2004 SR 2004/427 AMENDMENTS SR 2005/239 SR 2007/240 SR 2008/2 Part 1Preliminary provisions.....3

Significant Final Rule Makings of 2004

apps-dso.sws.iastate.edu€¦ ·  · 2016-10-19MATH 151 Sl Name Rule Constant Power Rule Sum Rule Difference Rule Quotient Rule Rule Exponential Rules Logarithmic Rules Exam 2 Overview

February 20, 2004, 1:30 p.m. Rule Development Workshop ...marketplace.myflorida.com/related/022004agenda.pdf · Rule Development Workshop Florida Department of Management ... (pp

Civpro Digest Rule 10-14