Slide 1
Slide 1 text
੩తݕࠪͷ͍Ζ
ࣄલࣝͳ͠Ͱཧղ͢Δ
Kuniwak - DeNA Co.,Ltd.
2018.09.07 builderscon tokyo 2018
Slide 2
Slide 2 text
"CPVUNF
Slide 3
Slide 3 text
,VOJXBL
w ॴଐˠ
w HJUIVCDPN,VOJXBL
w RJJUBDPN,VOJXBL
w ίϯϐϡʔλαΠΤϯεΛ
ֶΜͰ͖͍ͯ·ͤΜ
w ࣄલࣝͳ͠Ͱ੩తղੳ
πʔϧΛ։ൃ͖ͯͨ͠
Slide 4
Slide 4 text
͜Ε·Ͱʹ͖ͭͬͯͨ͘
੩తݕࠪܥͷπʔϧͷհ
Slide 5
Slide 5 text
7JNTDSJQUͷ੩తݕࠪπʔϧ
https://github.com/Kuniwak/Vint
Slide 6
Slide 6 text
$44ͷมߋΛՄࢹԽ͢Δπʔϧ
https://github.com/mixi-inc/css-semdiff
$ css-astdiff a.css b.css --verbose
extra:
.extra-1 {
border: none;
}
missing:
.missing-1 {
border: none;
}
---------------------------------
1 extra rules and 1 missing rules
Slide 7
Slide 7 text
मਖ਼ͷӨڹൣғΛڭ͑ͯ͘ΕΔπʔϧ
https://twitter.com/orga_chem/status/674847225684475905
˞લ৬
Slide 8
Slide 8 text
͜ͷൃදΛฉ͘ͱ
Θ͔Δ͜ͱ
͡Ίʹ
Slide 9
Slide 9 text
੩తղੳΛߏ͢Δ͍͔ͭ͘ͷߟ͑ํ
͕Θ͔ΔΑ͏ʹͳΔ
ߟ͑ํ͑͞ཧղͰ͖Εɺ੩తղੳΛ
࣮͢Δͷ͘͠ͳ͍͜ͱ͕Θ͔Δ
Slide 10
Slide 10 text
͏ͪΐͬͱ۩ମతʹ
͜ͷൃදͷඪ
Slide 11
Slide 11 text
if isEmpty('') {
//CATCH_ME_IF_YOU_CAN
}
CATCH_ME_IF_YOU_CANͱॻ͔Εͨੜҙؾͳ
ίϝϯτʢจࣈྻͷ/(ʣΛݕ͢Δ
੩తݕࠪΛ៉ྷʹ࣮Ͱ͖ΔΑ͏ʹͳΔ
Slide 12
Slide 12 text
؆୯͗͢ͳ͍ʁͱ
ࢥͬͨ͋ͳͨ
Slide 13
Slide 13 text
ಉ͡ϓϩάϥϜͰ࣍ͷίʔυ
ղੳͰ͖·͔͢ʁ
fake('', ' //CATCH_ME_IF_YOU_CAN ↩︎
')
͜ΕจࣈྻͳͷͰݕ͍͚ͯ͠ͳ͍
͜ͷվߦҙਤతͰ͢
Slide 14
Slide 14 text
͜ͷൃදͰɺҙѱͳέʔεʹ
ରԠͰ͖Δ੩తղੳΛઆ໌͠·͢
Slide 15
Slide 15 text
੩తղੳͱ
Ͱͬͦ͘͞
Slide 16
Slide 16 text
੩తݕࠪͱɺݕ͍ࠪͨ͠ϓϩάϥϜΛ
࣮ߦ͠ͳ͍··֤छͷҟৗΛݕࠪ͢Δख๏ͷ͜ͱ
ݴޠ͝ͱʹ༷ʑͳ੩తݕࠪͷͨΊͷπʔϧ͕͋Δɿ
w 1ZUIPOͳΒ1ZqBLFTNZQZͳͲ
w 3VCZͳΒ3VCPDPQͳͲ
w +BWB4DSJQUͳΒ&4-JOUͳͲ
w +BWBͳΒ4QPU#VHTͳͲ
Slide 17
Slide 17 text
͜͜Ͱٙ
ͳͥ੩తʹݕ͍ࠪͨ͠ͷ͔
Slide 18
Slide 18 text
ݕ͍ࠪͨ͠ϓϩάϥϜΛ࣮ߦͯ͠ʢ ಈతʣ
ݕࠪ͢Δ߹ɺݕࠪதʹ௨ա͍ͯ͠ͳ͍
ίʔυݕࠪͰ͖ͳ͍
isFoo = true
if isFoo {
}
else {
}
ͪ͜ΒಈతʹݕࠪͰ͖Δ
ͪ͜ΒಈతʹݕࠪͰ͖ͳ͍
Slide 19
Slide 19 text
੩తݕࠪಈతݕ͕ࠪۤखͳ
ཏతͳݕ͕ࠪಘҙ
͔͠͠੩తݕࠪಈతݕࠪ΄Ͳ
ݕࠪ݁Ռ͕ਖ਼֬ʹͳΒͳ͍
Slide 20
Slide 20 text
੩తݕࠪΛΔ͜ͱͰ
։ൃΛޮԽͰ͖Δཧ༝
ͳΜͷʹཱͭͷ͔ٙͳ͋ͳͨ
Slide 21
Slide 21 text
ίʔυϨϏϡʔͷҰ෦Λ
ࣗಈԽͰ͖ΔΑ͏ʹͳΔ
ศརͳࣾπʔϧΛͭͬͯ͘
͋Γ͕͕ͨΒΕΔ
طଘͷ੩తղੳπʔϧΛվྑɾ
σόοάͰ͖ΔΑ͏ʹͳΔ
Slide 22
Slide 22 text
ίʔυϨϏϡʔࣗಈԽͷྫ
http://alpha.mixi.co.jp/entry/2015/12/20/000000
$ css-astdiff a.css b.css --verbose
extra:
.extra-1 {
border: none;
}
missing:
.missing-1 {
border: none;
}
---------------------------------
1 extra rules and 1 missing rules
ߦͷ$44Λ
োθϩͰ-FTT
Ҡߦͨ͠ࡍͷπʔϧ
Slide 23
Slide 23 text
ศརͳࣾπʔϧʢʁʣͷྫ
https://twitter.com/orga_chem/status/674847225684475905
ऍ໌
WJTVBMJ[BUJPOఘΊ·͕ͨ͠ɺ
ґଘΛҰཡͰݟΒΕΔαʔϏε
ͭͬͨ͘ΒศརʹΘΕ·ͨ͠
Slide 24
Slide 24 text
શମతͳઆ໌ͷྲྀΕ
͜Ε͔Βͷ
Slide 25
Slide 25 text
֓೦Λཧղ͢Δ
நߏจΛཧղ͢Δ
நߏจͷ࡞ΓํΛཧղ͢Δ
நߏจͷѻ͍ํΛཧղ͢Δ
࡞ΓํΛཧղ͢Δ
؆୯ͳ੩తղੳΛ࣮͢Δ
੩తղੳͷσβΠϯύλʔϯΛΔ
࣮ࡍͷ੩తղੳΛಡΉ
Slide 26
Slide 26 text
நߏจΛཧղ͢Δ
·ͣ
Slide 27
Slide 27 text
੩తݕࠪͰऔΓѻ͏දతͳ
σʔλͷछྨ͍͔ͭ͋͘Δ
Slide 28
Slide 28 text
நߏจ
ίʔυΛߏͰදݱͨ͠ͷ
ଟ͘ͷ੩తղੳͷجຊ
τʔΫϯྻ
ίʔυͷখ͞ͳߏ୯ҐΛ
ग़ݱॱʹฒͨͷ
ελΠϧʹؔ͢Δ੩తղੳͰ
Α͘ΘΕΔ
੍ޚϑϩʔάϥϑ
ίʔυͷ݅ذͳͲͷ
੍ޚߏΛ࿈݁ͨ͠ϒϩοΫͰ
දݱͨ͠ͷ
ίʔϧάϥϑ
ؔͷݺͼग़ؔ͠ΛάϥϑͰ
දݱͨ͠ͷ
ະ༻ؔͷղੳͳͲʹΑ͘
ΘΕΔ
Slide 29
Slide 29 text
τʔΫϯྻ
ίʔυͷখ͞ͳߏ୯ҐΛ
ग़ݱॱʹฒͨͷ
ελΠϧʹؔ͢Δ੩తղੳͰ
Α͘ΘΕΔ
੍ޚϑϩʔάϥϑ
ίʔυͷ݅ذͳͲͷ
੍ޚߏΛ࿈݁ͨ͠ϒϩοΫͰ
දݱͨ͠ͷ
ίʔϧάϥϑ
ؔͷݺͼग़ؔ͠ΛάϥϑͰ
දݱͨ͠ͷ
ະ༻ؔͷղੳͳͲʹΑ͘
ΘΕΔ
நߏจ
ίʔυΛߏͰදݱͨ͠ͷ
ଟ͘ͷ੩తղੳͷجຊ ࠓճղઆ͢Δͷ
Slide 30
Slide 30 text
if isEmpty('') {
// COMMENT
}
1SPHSBN
*G4UBUFNFOU
4USJOH-JUFSBM
'VOD$BMM
*EFOUJpFS
$PNNFOU
நߏจ
ίʔυ
Slide 31
Slide 31 text
if isEmpty('') {
// COMMENT
}
நߏจ
ίʔυ
˞4UBUFNFOUʮจʯͷҙຯͳͷͰɺ*G4UBUFNFOUʮJGจʯͷҙຯͰ͢
1SPHSBN
4USJOH-JUFSBM
'VOD$BMM
*EFOUJpFS
$PNNFOU
*G4UBUFNFOU
Slide 32
Slide 32 text
if isEmpty('') {
// COMMENT
}
1SPHSBN
*G4UBUFNFOU
4USJOH-JUFSBM
*EFOUJpFS
$PNNFOU
'VOD$BMM
நߏจ
ίʔυ
Slide 33
Slide 33 text
if isEmpty('') {
// COMMENT
}
1SPHSBN
*G4UBUFNFOU
4USJOH-JUFSBM
'VOD$BMM $PNNFOU
*EFOUJpFS
நߏจ
ίʔυ
Slide 34
Slide 34 text
if isEmpty('') {
// COMMENT
}
1SPHSBN
*G4UBUFNFOU
'VOD$BMM
*EFOUJpFS
$PNNFOU
4USJOH-JUFSBM
நߏจ
ίʔυ
Slide 35
Slide 35 text
if isEmpty('') {
// COMMENT
}
1SPHSBN
*G4UBUFNFOU
4USJOH-JUFSBM
'VOD$BMM
*EFOUJpFS
$PNNFOU
நߏจ
ίʔυ
Slide 36
Slide 36 text
if isEmpty('') {
// COMMENT
}
நߏจ
*G4UBUFNFOU
4USJOH-JUFSBM
'VOD$BMM
*EFOUJpFS
$PNNFOU
1SPHSBN
ίʔυ
Slide 37
Slide 37 text
if isEmpty('') {
// COMMENT
}
1SPHSBN
*G4UBUFNFOU
4USJOH-JUFSBM
'VOD$BMM
*EFOUJpFS
$PNNFOU
நߏจ
ίʔυ
நߏจɺίʔυͷߏΛ
ߏͷσʔλͱͯ͠දݱͨ͠ͷ
Slide 38
Slide 38 text
ߏͰ1SPHSBN
$PNNFOUͷΑ͏ͳ
Λߏ͢Δઅͷ͜ͱΛ
ʮϊʔυʯͱݺͿ
1SPHSBN
*G4UBUFNFOU
4USJOH-JUFSBM
'VOD$BMM
*EFOUJpFS
$PNNFOU
Slide 39
Slide 39 text
࣮ࡍͷϝδϟʔͳݴޠͷ
நߏจΛݟͯΈΑ͏
நߏจͳΜͱͳ͘Θ͔ͬͨͷͰ
Slide 40
Slide 40 text
ϝδϟʔͳݴޠͷநߏจ
ҙ֎ͱ؆୯ʹΈΒΕΔ
ݴޠʹΑͬͯඪ४ϥΠϒϥϦ͚ͩͰ
நߏจΛΈΒΕͨΓ͢Δ
Slide 41
Slide 41 text
1ZUIPOͷநߏจͷݟํ
import ast
source = "if is_empty(''):\n" \
" pass\n"
node = ast.parse(source, "sample.py")
print(ast.dump(node))
Slide 42
Slide 42 text
if is_empty(''):
pass
நߏจ
1ZUIPO
Module(
body=[
If(
test=Call(
func=Name(
id='is_empty',
ctx=Load()
),
args=[
Str(s='')
],
keywords=[]
),
body=[
Pass()
],
orelse=[]
)
]
)
Slide 43
Slide 43 text
if is_empty(''):
pass
நߏจ
1ZUIPO
Module(
body=[
If(
test=Call(
func=Name(
id='is_empty',
ctx=Load()
),
args=[
Str(s='')
],
keywords=[]
),
body=[
Pass()
],
orelse=[]
)
]
)
Slide 44
Slide 44 text
if is_empty(''):
pass
நߏจ
1ZUIPO
Module(
body=[
If(
test=Call(
func=Name(
id='is_empty',
ctx=Load()
),
args=[
Str(s='')
],
keywords=[]
),
body=[
Pass()
],
orelse=[]
)
]
)
Slide 45
Slide 45 text
if is_empty(''):
pass
நߏจ
1ZUIPO
Module(
body=[
If(
test=Call(
func=Name(
id='is_empty',
ctx=Load()
),
args=[
Str(s='')
],
keywords=[]
),
body=[
Pass()
],
orelse=[]
)
]
)
Slide 46
Slide 46 text
if is_empty(''):
pass
நߏจ
1ZUIPO
Module(
body=[
If(
test=Call(
func=Name(
id='is_empty',
ctx=Load()
),
args=[
Str(s='')
],
keywords=[]
),
body=[
Pass()
],
orelse=[]
)
]
)
Slide 47
Slide 47 text
if is_empty(''):
pass
நߏจ
1ZUIPO
Module(
body=[
If(
test=Call(
func=Name(
id='is_empty',
ctx=Load()
),
args=[
Str(s='')
],
keywords=[]
),
body=[
Pass()
],
orelse=[]
)
]
)
Slide 48
Slide 48 text
3VCZͷநߏจͷݟํ
require 'ripper'
require 'pp'
example = <<~END
if is_empty('')
end
END
pp Ripper.sexp(example)
Slide 49
Slide 49 text
நߏจ
3VCZ
[:program,
[
[:if,
[:method_add_arg,
[:fcall,
[:@ident,
"is_empty",
[1, 3]
]
],
[:arg_paren,
[:args_add_block,
[[:string_literal, [:string_content]]],
false
]
]
],
[[:void_stmt]],
nil
]
]
]
if is_empty('')
end
Slide 50
Slide 50 text
[:program,
[
[:if,
[:method_add_arg,
[:fcall,
[:@ident,
"is_empty",
[1, 3]
]
],
[:arg_paren,
[:args_add_block,
[[:string_literal, [:string_content]]],
false
]
]
],
[[:void_stmt]],
nil
]
]
]
நߏจ
3VCZ
if is_empty('')
end
Slide 51
Slide 51 text
[:program,
[
[:if,
[:method_add_arg,
[:fcall,
[:@ident,
"is_empty",
[1, 3]
]
],
[:arg_paren,
[:args_add_block,
[[:string_literal, [:string_content]]],
false
]
]
],
[[:void_stmt]],
nil
]
]
]
நߏจ
3VCZ
if is_empty('')
end
Slide 52
Slide 52 text
[:program,
[
[:if,
[:method_add_arg,
[:fcall,
[:@ident,
"is_empty",
[1, 3]
]
],
[:arg_paren,
[:args_add_block,
[[:string_literal, [:string_content]]],
false
]
]
],
[[:void_stmt]],
nil
]
]
]
நߏจ
3VCZ
if is_empty('')
end
Slide 53
Slide 53 text
[:program,
[
[:if,
[:method_add_arg,
[:fcall,
[:@ident,
"is_empty",
[1, 3]
]
],
[:arg_paren,
[:args_add_block,
[[:string_literal, [:string_content]]],
false
]
]
],
[[:void_stmt]],
nil
]
]
]
நߏจ
3VCZ
if is_empty('')
end
Slide 54
Slide 54 text
+BWB4DSJQUͷநߏจͷݟํ
import {default as Esprima} from "esprima";
const program = "if (isEmpty('')) {\n"
+ "}\n";
const node = Esprima.parseScript(program);
console.log("%j", node);
Slide 55
Slide 55 text
நߏจ
+BWB4DSJQU
{
"type": "Program",
"body": [
{
"type": "IfStatement",
"test": {
"type": "CallExpression",
"callee": {
"type": "Identifier",
"name": "isEmpty"
},
"arguments": [
{
"type": "Literal",
"value": "",
"raw": "''"
}
]
},
"consequent": {
"type": "BlockStatement",
"body": []
},
"alternate": null
}
],
"sourceType": "script"
}
if (isEmpty('')) {
}
Slide 56
Slide 56 text
நߏจ
+BWB4DSJQU
{
"type": "Program",
"body": [
{
"type": "IfStatement",
"test": {
"type": "CallExpression",
"callee": {
"type": "Identifier",
"name": "isEmpty"
},
"arguments": [
{
"type": "Literal",
"value": "",
"raw": "''"
}
]
},
"consequent": {
"type": "BlockStatement",
"body": []
},
"alternate": null
}
],
"sourceType": "script"
}
if (isEmpty('')) {
}
Slide 57
Slide 57 text
நߏจ
+BWB4DSJQU
if (isEmpty('')) {
}
{
"type": "Program",
"body": [
{
"type": "IfStatement",
"test": {
"type": "CallExpression",
"callee": {
"type": "Identifier",
"name": "isEmpty"
},
"arguments": [
{
"type": "Literal",
"value": "",
"raw": "''"
}
]
},
"consequent": {
"type": "BlockStatement",
"body": []
},
"alternate": null
}
],
"sourceType": "script"
}
Slide 58
Slide 58 text
நߏจ
+BWB4DSJQU
if (isEmpty('')) {
}
{
"type": "Program",
"body": [
{
"type": "IfStatement",
"test": {
"type": "CallExpression",
"callee": {
"type": "Identifier",
"name": "isEmpty"
},
"arguments": [
{
"type": "Literal",
"value": "",
"raw": "''"
}
]
},
"consequent": {
"type": "BlockStatement",
"body": []
},
"alternate": null
}
],
"sourceType": "script"
}
Slide 59
Slide 59 text
நߏจ
+BWB4DSJQU
{
"type": "Program",
"body": [
{
"type": "IfStatement",
"test": {
"type": "CallExpression",
"callee": {
"type": "Identifier",
"name": "isEmpty"
},
"arguments": [
{
"type": "Literal",
"value": "",
"raw": "''"
}
]
},
"consequent": {
"type": "BlockStatement",
"body": []
},
"alternate": null
}
],
"sourceType": "script"
}
if (isEmpty('')) {
}
Slide 60
Slide 60 text
நߏจͷ·ͱΊ
w நߏจϓϩάϥϜΛߏͰදݱͨ͠ͷ
w ଟ͘ͷ੩తղੳʹநߏจ͕ొ͢Δ
w ϝδϟʔͳݴޠͰ͋Ε؆୯ʹΈΒΕΔ
Slide 61
Slide 61 text
நߏจΛͭ͘Δ
ߏจղੳΛΖ͏
நߏจΛશʹཧղͨ͠ͷͰ
Slide 62
Slide 62 text
ϓϩάϥϜͷςΩετ͔ΒநߏจΛ
࡞͢ΔॲཧΛߏจղੳͱݺͿ
ߏจղੳΛΔͱɺطଘͷߏจղੳ
ϥΠϒϥϦΛ͏ͱ͖ͷҙ͕Θ͔Δ
ͨͱ͑ɺੑೳྼԽ͍͢͠෦ͳͲ͕Θ͔Δ
Slide 63
Slide 63 text
ߏจղੳͷදత࣮ख๏
w ࠶ؼԼ߱๏
w όοΫτϥοΫ͋Γ
w ૉͳ࣮
w 1BSTFS$PNCJOBUPS
w 1BSTFS&YQSFTTJPO(SBNNBS
w όοΫτϥοΫͳ͠
w ʜ
w ԋࢉࢠॱҐ๏
w ʜ
ࠓճղઆ͢Δ࣮
Slide 64
Slide 64 text
ͪΌΜͱͨ͠ఆٛ͘͠ฉ͑͜Δ͕ɺ
࣮ࡍͷίʔυΛΈΕ͙͢ʹཧղͰ͖Δ
श͏ΑΓ׳ΕΑ͏
Slide 65
Slide 65 text
จ๏نଇͷհ
ࠓ͔ΒߏจղੳΛ࣮͢Δ
Slide 66
Slide 66 text
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
:= "if " <ࣜ> " {\n" <จ>* "}" "\n"
<ࣜจ> := <ࣜ> "\n"
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
<ࣜ> := <จࣈྻϦςϥϧ> | <ؔݺͼग़ࣜ͠>
<จࣈྻϦςϥϧ> := "'" ("\'" | [A-Z_ ])* "'"
<ؔݺͼग़ࣜ͠> := <໊ؔ> "(" <ࣜ> ")"
<໊ؔ> := [a-z] [a-z]*
͜ͷ··ͩͱΘ͔ΓͮΒ͍ͷͰɺ۩ମྫΛग़͠·͢
Slide 67
Slide 67 text
ίϝϯτ͚ͩϓϩάϥϜ
// COMMENT ↩︎
EOF
&0'ϑΝΠϧͷऴྃʢ&OEPG'JMFʣΛҙຯ͢Δه߸
Slide 68
Slide 68 text
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
͔͜͜ΒݟΔ
// COMMENT ↩︎
EOF
Slide 69
Slide 69 text
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
จ ͷ܁Γฦ͠ʹଓ͍ͯ&0'͕͘Δ
// COMMENT ↩︎
EOF
Slide 70
Slide 70 text
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
จ ͷதΛݟʹ͍͘
// COMMENT ↩︎
EOF
Slide 71
Slide 71 text
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
จ ͜ͷ͏ͪͷͲΕ͔ͭ
// COMMENT ↩︎
EOF
Slide 72
Slide 72 text
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
ࠓճͷ จ ίϝϯτจ
// COMMENT ↩︎
EOF
Slide 73
Slide 73 text
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
ίϝϯτจ ͷதΛݟʹ͍͘
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
// COMMENT ↩︎
EOF
Slide 74
Slide 74 text
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
ʹଓ͍ͯӳେจࣈͱ@ͱۭന͕Կճ͔ଓ͍ͯɺվߦͰऴΘΔ
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
// COMMENT ↩︎
EOF
Slide 75
Slide 75 text
// COMMENT ↩︎
EOF
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
Slide 76
Slide 76 text
// COMMENT ↩︎
EOF
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
ίʔυͱͷରԠ͕Ͱ͖ͨΒɺݟͨॱ൪ΛٯʹḪ͍ͬͯ͘
Slide 77
Slide 77 text
// COMMENT ↩︎
EOF
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
จ ίϝϯτจ ͰରԠ͕औΕͨͷͰḪΔ
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
Slide 78
Slide 78 text
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
// COMMENT
EOF
ࠓճͷ จ ճ܁Γฦ͚ͩ͠Ͱɺத ίϝϯτจ
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
Slide 79
Slide 79 text
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
// COMMENT
EOF
࠷ޙ&0'ͰऴΘΔ
ίϝϯτ͚ͩϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
Slide 80
Slide 80 text
͜͜·ͰಡΊΕɺଞͷίʔυͷ
จ๏نଇಡΊΔΑ͏ʹͳΔ
Slide 81
Slide 81 text
print("TEXT")
EOF
ؔݺͼग़͚ͩ͠ϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ࣜจ> := <ࣜ> "\n"
<ࣜ> := <จࣈྻϦςϥϧ> | <ؔݺͼग़ࣜ͠>
<ؔݺͼग़͠> := <໊ؔ> "(" <ࣜ> ")"
<໊ؔ> := [a-z] [a-z]*
Slide 82
Slide 82 text
print("TEXT")
EOF
ؔݺͼग़͚ͩ͠ϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ࣜจ> := <ࣜ> "\n"
<ࣜ> := <จࣈྻϦςϥϧ> | <ؔݺͼग़ࣜ͠>
<ؔݺͼग़͠> := <໊ؔ> "(" <ࣜ> ")"
<໊ؔ> := [a-z] [a-z]*
ಉ͡Α͏ʹݟ͍͖ͯ·͠ΐ͏
Slide 83
Slide 83 text
print("TEXT")
EOF
ؔݺͼग़͚ͩ͠ϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
<ࣜจ> := <ࣜ> "\n"
<ࣜ> := <จࣈྻϦςϥϧ> | <ؔݺͼग़ࣜ͠>
<ؔݺͼग़͠> := <໊ؔ> "(" <ࣜ> ")"
<໊ؔ> := [a-z] [a-z]* <จࣈྻϦςϥϧ>
Slide 84
Slide 84 text
EOF
ۭͷϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
<ϓϩάϥϜ> := <จ>* EOF
࣮͜Εจ๏نଇ্ଥͳϓϩάϥϜ
Slide 85
Slide 85 text
EOF
ۭͷϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
<ϓϩάϥϜ> := <จ>* EOF
܁Γฦ͠ճ
Slide 86
Slide 86 text
ෆਖ਼ͳϓϩάϥϜΈͯΈΑ͏
Slide 87
Slide 87 text
/ INVALID
EOF
ෆਖ਼ͳϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
ద༻Ͱ͖Δจ๏نଇͳ͠
Slide 88
Slide 88 text
/ INVALID
EOF
ෆਖ਼ͳϓϩάϥϜ
ద༻͞Εͨจ๏نଇ
ͳ͠
͜ͷίʔυ ϓϩάϥϜ ͷ จ ͷ͍ͣΕʹ
͋ͯ·Βͳ͍ͷͰɺ ϓϩάϥϜ ʹ͋ͯ·Βͳ͍
͜ͷঢ়گΛʮߏจΤϥʔʢTZOUBYFSSPSʣʯͱ͍͏
Slide 89
Slide 89 text
จ๏نଇ·ͱΊ
w จ๏نଇ۩ମྫΛߟ͑ΔͱΘ͔Γ͍͢
w จ๏نଇʹ͋ͯ·Βͳ͍ͱ͖ߏจΤϥʔʹͳΔ
Slide 90
Slide 90 text
ߏจղੳͷ࣮
͖ͬ͞ͷจ๏نଇʹରԠ͢Δ
Slide 91
Slide 91 text
จ๏نଇͷࠨଆʢ ͷ෦ʣʹ
ରԠ͢ΔநߏจͷϊʔυΛఆٛ͢Δ
ఆٛͨ͠ϊʔυ͝ͱʹղੳؔΛ༻ҙ͢Δ
ߏจղੳͷ࣮खॱ
Slide 92
Slide 92 text
<ϓϩάϥϜ> := <จ>* EOF
<จ> := | <ࣜจ> | <ίϝϯτจ>
:= "if " <ࣜ> " {\n" <จ>* "}" "\n"
<ࣜจ> := <ࣜ> "\n"
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
<ࣜ> := <จࣈྻϦςϥϧ> | <ؔݺͼग़ࣜ͠>
<จࣈྻϦςϥϧ> := "'" ("\'" | [A-Z_ ])* "'"
<ؔݺͼग़ࣜ͠> := <໊ؔ> "(" <ࣜ> ")"
<໊ؔ> := [a-z] [a-z]*
͜ͷ ͝ͱʹநߏจͷϊʔυΛఆٛ͢Δ
Slide 93
Slide 93 text
1SPHSBN
4UBUFNFOU 4UBUFNFOU
# <ϓϩάϥϜ> := <จ>*
class ProgramNode(Node):
def __init__(self, statement_nodes):
# <ϓϩάϥϜ>ෳͷ<จ>͔ΒͳΔͷͰɺ
# ؚ·ΕΔ<จ>ΛྻͰอ࣋͢Δɻ
self.statements = statement_nodes
ϓϩάϥϜ ʹରԠ͢Δநߏจͷϊʔυ
จ ͷϊʔυͷྻ
Slide 94
Slide 94 text
# <ϓϩάϥϜ> := <จ>*
class ProgramNode(Node):
def __init__(self, statement_nodes):
# <ϓϩάϥϜ>ෳͷ<จ>͔ΒͳΔͷͰɺ
# ؚ·ΕΔ<จ>ΛྻͰอ࣋͢Δɻ
self.statements = statement_nodes 4UBUFNFOU 4UBUFNFOU
1SPHSBN
Slide 95
Slide 95 text
# <ϓϩάϥϜ> := <จ>*
class ProgramNode(Node):
def __init__(self, statement_nodes):
# <ϓϩάϥϜ>ෳͷ<จ>͔ΒͳΔͷͰɺ
# ؚ·ΕΔ<จ>ΛྻͰอ࣋͢Δɻ
self.statements = statement_nodes
1SPHSBN
4UBUFNFOU 4UBUFNFOU
Slide 96
Slide 96 text
# := "if " <ࣜ> " {\n" จ* "}" "\n"
class IfStatementNode(Node):
def __init__(self, condition_node, then_statements):
# if ͷޙͷ݅෦ͷ <ࣜ> Λอ࣋͢Δɻ
self.condition_node = condition_node
# { ͱ } ͷؒͷෳͷ <จ> Λྻͱͯ͠อ࣋͢Δɻ
self.then_statements = then_statements
JGจ ʹରԠ͢Δநߏจͷϊʔυ
Slide 97
Slide 97 text
ಉ༷ʹͯ͢ͷ ʹରԠ͢Δ
நߏจͷϊʔυΛఆٛ͠·͢
Slide 98
Slide 98 text
ͯ͢ͷϊʔυΛఆٛ͠ऴΘͬͨΒɺ
͜ΕΛ࡞͢ΔؔΛॻ͍͍ͯ͘
Slide 99
Slide 99 text
ʹରԠ͢ΔؔͷҾͱΓʹɺ
Α͋͘Δఆ൪ͷύλʔϯ͕͋Δ
͜ͷύλʔϯʹै͏ͱɺؔΛ
Έ߹Θͤ͘͢ͳΔͷͰ͓֮͑ͯ͜͏
Slide 100
Slide 100 text
͍͖ͳΓ ϓϩάϥϜ ʹରԠ͢ΔؔΛ
ॻ͘ͱઆ໌͕͍͠ͷͰɺ ίϝϯτจ ʹ
ରԠ͢Δ͔ؔΒઆ໌͢Δ
Slide 101
Slide 101 text
# <ίϝϯτจ> := "//" [A-Z_ ]* "\n"
def parse_comment_statement(text, index):
# TODO: ͪΌΜͱ࣮͢Δ
next_index = 1234 # TODO: Ծͷ࣮
node = CommentStatementNode(
comment_content=" COMMENT" # TODO: Ծͷ࣮
)
return node, next_index
ίϝϯτจ ʹରԠ͢ΔؔͷҾͱΓΛ֬ೝ͠Α͏
ؔͷ෦·ͩԾͷͷͰɺ͋ͱͰ࣮͍ͯ͘͠
Slide 102
Slide 102 text
# <ίϝϯτจ> := "//" [A-Z_ ]* "\n"
def parse_comment_statement(text, index):
# TODO: ͪΌΜͱ࣮͢Δ
next_index = 1234 # TODO: Ծͷ࣮
node = CommentStatementNode(
comment_content=" COMMENT" # TODO: Ծͷ࣮
)
return node, next_index
ʮQBSTFʯʮߏจղੳ͢Δʯͷҙຯ
Slide 103
Slide 103 text
# <ίϝϯτจ> := "//" [A-Z_ ]* "\n"
def parse_comment_statement(text, index):
# TODO: ͪΌΜͱ࣮͢Δ
next_index = 1234 # TODO: Ծͷ࣮
node = CommentStatementNode(
comment_content=" COMMENT" # TODO: Ծͷ࣮
)
return node, next_index
ղੳ͍ͨ͠ςΩετશମ ղੳ͍ͨ͠ςΩετͷҐஔ
Slide 104
Slide 104 text
# <ίϝϯτจ> := "//" [A-Z_ ]* "\n"
def parse_comment_statement(text, index):
# TODO: ͪΌΜͱ࣮͢Δ
next_index = 1234 # TODO: Ծͷ࣮
node = CommentStatementNode(
comment_content=" COMMENT" # TODO: Ծͷ࣮
)
return node, next_index
ղੳͰ͖ͨ ίϝϯτจ ʹ
ରԠ͢Δநߏจͷϊʔυ ίϝϯτจ ͕ऴΘͬͨҐஔ
Slide 105
Slide 105 text
ͱΓ͋͑ͣؔͷΘΕํΛΈͯΈΑ͏
Slide 106
Slide 106 text
(comment_node, next_index) = parse_comment_statement("// COMMENT\n", 0)
ϓϩάϥϜͷઌ಄͔Βղੳ͢Δύλʔϯ ઌ಄ͳͷͰJOEFY
ղੳ͕ऴΘͬͨҐஔ
ίϝϯτจ ʹରԠ͢Δநߏจͷϊʔυ
Slide 107
Slide 107 text
(comment_node, next_index) = parse_comment_statement("'123'\n// COMMENT\n", 6)
ϓϩάϥϜͷ్த͔Βղੳ͢Δύλʔϯ
ղੳ͕ऴΘͬͨҐஔ
్தͷจࣈ͔Βղੳ͢Δ
ίϝϯτจ ʹରԠ͢Δநߏจͷϊʔυ
Slide 108
Slide 108 text
(comment_node, next_index) = parse_comment_statement("'123'\n/ INVALID", 6)
ղੳʹࣦഊ͢Δύλʔϯ
ࣦഊͨ͠ΒҐஔಈ͔͞ͳ͍Ͱͷ··ʹ͢Δ
͜ͷΑ͏ʹɺࣦഊͨ͠ΒԿͳ͔ͬͨΑ͏ʹ
ר͖Δ͜ͱΛʮόοΫτϥοΫʯͱݺͿ
ղੳʹࣦഊͨ͠ͷͰ/POF
్தͷจࣈ͔Βղੳ͢Δ
Slide 109
Slide 109 text
Ҿ
w ղੳ͢Δจࣈྻશମͱ࢝ΊΔҐஔ
Γ
w ղੳͰ͖ͨநߏจͷϊʔυͱऴΘͬͨҐஔ
w ࣦഊͨ͠Β/POFΛฦͯ͠ɺ
Ґஔಈ͔͞ͳ͍
͜͜ͰҾͱΓΛཧ͠Α͏ɿ
Slide 110
Slide 110 text
Ҿ
w ղੳ͢Δจࣈྻશମͱ࢝ΊΔҐஔ
Γ
w ղੳͰ͖ͨநߏจͷϊʔυͱऴΘͬͨҐஔ
w ࣦഊͨ͠Β/POFΛฦͯ͠ɺ
Ґஔಈ͔͞ͳ͍
͜͜ͰҾͱΓΛཧ͠Α͏ɿ
͕ؔΈ߹Θͤ͘͢ͳΔͱ
ݴ͍ͬͯͨͷ͜ͷ෦
લͷؔʹΑΔղੳ͕ऴΘͬͨ
Ґஔ͔Βɺ࣍ͷؔʹΑΔղੳΛ
࠶։͢ΔΠϝʔδ
Slide 111
Slide 111 text
࣮ࡍͷॲཧͷྲྀΕΛΈͯΈΑ͏
ҾͱΓ͕ͳΜͱͳ͘Θ͔ͬͨͷͰ
Slide 112
Slide 112 text
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
ίϝϯτจ ͷจ๏نଇͷಡΈํͷ͓͞Β͍ɿ
͡Ίʹ͕͋Δ
ଓ͚ͯӳେจࣈ͔@͔ۭന͕ճҎ্ଓ͘
࠷ޙʹվߦ͕͋Δ
Slide 113
Slide 113 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 114
Slide 114 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
ίϝϯτจ ʹରԠ͢Δؔ
Slide 115
Slide 115 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
͜͜Ͱ͕JOEFYͷҐஔʹ͋Δ͔Ͳ͏͔֬ೝ͍ͯ͠Δ
FYQFDU@LFZXPSEޙͰઆ໌͢Δ͕ɺΛݟ͚ͭͨΒ
JOEFYΛͷޙ·ͰҠಈͤ͞Δ
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 116
Slide 116 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
͕Έ͔ͭΒͳ͚Ε ίϝϯτจ Ͱͳ͍ͷͰऴྃ
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 117
Slide 117 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
͜ͷྻʹίϝϯτͷจࣈΛ֨ೲ͍ͯ͘͠
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 118
Slide 118 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
ίϝϯτͷจࣈ܁Γฦ͠ͳͷͰɺϧʔϓͰॲཧ͢Δ
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 119
Slide 119 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
JOEFYͷҐஔʹ<";@>͕͋Δ͔֬ೝ͍ͯ͠Δ
FYQFDU@FJUIFSʹ͍ͭͯޙͰઆ໌͢Δ
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 120
Slide 120 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
͠<";@>ʹҰக͠ͳ͔ͬͨΒɺίϝϯτͷ
༰෦͕ऴΘͬͨͷͰɺϧʔϓ͔Βग़
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 121
Slide 121 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
͠<";@>Ͱ͋Εɺίϝϯτจࣈྻ͕·ͩଓ͔͘
͠Εͳ͍ͷͰɺจࣈΛهͯ͠ϧʔϓΛ࠶։
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 122
Slide 122 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
ίϝϯτͷจࣈ͕ऴΘͬͨͷͰɺ࠷ޙʹ
վߦ͕͋Δ͔Ͳ͏͔֬ೝ͍ͯ͠Δ
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 123
Slide 123 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
aO͕ͳ͚Εɺ ίϝϯτจ Ͱͳ͍ͷͰ/POFͱ
ݩͷJOEFYΛฦ͢
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 124
Slide 124 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
ه͓͍ͯͨ͠ίϝϯτͷจࣈΛ݁߹ͯ͠ɺ
ίϝϯτͷ༰จࣈྻΛ෮ݩ͢Δ
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 125
Slide 125 text
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
෮ݩͨ͠ίϝϯτจࣈྻ͔Β ίϝϯτจ ʹରԠ͢Δ
நߏจͷϊʔυΛ࡞ͯ͠ɺਐΊͨJOEFYͱฦ͢
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
Slide 126
Slide 126 text
<ίϝϯτจ> := "//" [A-Z_ ]* "\n"
def parse_comment_statement(text, index):
is_success, next_index = expect_keyword("//", text, index)
if not is_success:
return None, index
comment_content_chars = []
while True:
comment_content_char, next_index = \
expect_either(uppercase + [" ", "_"], text, next_index)
if comment_content_char is None:
break
comment_content_chars.append(comment_content_char)
is_success, next_index = expect_keyword("\n", text, next_index)
if not is_success:
return None, index
comment_content_chars = "".join(comment_content_chars)
return CommentStatementNode(comment_content_chars), next_index
ίϝϯτจ ʹରԠ͢ΔؔΛॻ͚ͨ
Slide 127
Slide 127 text
FYQFDUdͳؔͷͨΒ͖
్தͰͰ͖ͯͨFYQFDUd͕ؾʹͳΔํ
Slide 128
Slide 128 text
ઌ΄ͲͷQBSTF@DPNNFOU@TUBUFNFOUͷ࣮࣌ʹ
͋Γ͕ͪͳϛε͕ɺJOEFYͷਐΊΕਐΊ෯ͷؒҧ͍
FYQFDU@LFZXPSEFYQFDU@FJUIFS͜ΕΒͷؒҧ͍Λ
༧͢ΔͨΊͷϢʔςΟϦςΟؔ
Slide 129
Slide 129 text
text = "abc"
is_success, next_index = expect_keyword("a", text, 0)
is_success, next_index = expect_keyword("x", text, 0)
Bͷ࣍ͷJOEFYͳͷͰ
JOEFYͷҐஔʢͳͷͰઌ಄ʣʹB͕͋ΔͷͰ5SVF
ͳ͍߹JOEFYΛม͑ͳ͍ͷͰ
JOEFYͷҐஔʢͳͷͰઌ಄ʣʹYͳ͍ͷͰ'BMTF
Slide 130
Slide 130 text
ൺֱͨ͠จࣈྻͷ͚ͩ͞JOEFYΛਐΊΔͷͰɺ
ਐΊ෯ͷؒҧ͍ͱਐΊΕΛ͛Δ
ศརʜ
Slide 131
Slide 131 text
def expect_keyword(expected, text, index):
expected_len = len(expected)
actual = text[index:index+expected_len]
if actual != expected:
return False, index
return True, index + expected_len
def expect_either(expected_list, text, index):
for expected in expected_list:
is_success, next_index = expect_keyword(expected, text, index)
if is_success:
return expected, next_index
return None, index
Slide 132
Slide 132 text
def expect_keyword(expected, text, index):
expected_len = len(expected)
actual = text[index:index+expected_len]
if actual != expected:
return False, index
return True, index + expected_len
def expect_either(expected_list, text, index):
for expected in expected_list:
is_success, next_index = expect_keyword(expected, text, index)
if is_success:
return expected, next_index
return None, index
ৄࡉͳ࣮͋ͱͰղಡͯ͠Έ͍ͯͩ͘͞ʂ
Slide 133
Slide 133 text
͜͜·ͰͰ ίϝϯτจ ͷ
ղੳؔΛ࣮Ͱ͖ͨ
Slide 134
Slide 134 text
࣍ʹɺ จ ʹର͢Δ͔ؔΒઌ΄Ͳ
࣮ͨ͠ ίϝϯτจ ʹରԠ͢ΔؔΛ
͏ํ๏ΛΈͯΈΑ͏
ϙΠϯτɺจ๏نଇͷ ͷӈଆʹ ͕
͋ͬͨΒରԠ͢ΔղੳؔʹͤΔ͜ͱ
Slide 135
Slide 135 text
<จ> := | <ࣜจ> | <ίϝϯτจ>
จ ͷจ๏نଇͷಡΈํͷ͓͞Β͍ɿ
จ ɺ JGจ ɺ ࣜจ ɺ ίϝϯτจ ͷ͍ͣΕ͔
Slide 136
Slide 136 text
def parse_statement(text, index):
if_statement_node, next_index = parse_if_statement(text, index)
if if_statement_node is not None:
return if_statement_node, next_index
expr_statement_node, next_index = parse_expr_statement(text, index)
if expr_statement_node is not None:
return expr_statement_node, next_index
comment_statement_node, next_index = parse_comment_statement(text, index)
if comment_statement_node is not None:
return comment_statement_node, next_index
return None, index
<จ> := | <ࣜจ> | <ίϝϯτจ>
Slide 137
Slide 137 text
def parse_statement(text, index):
if_statement_node, next_index = parse_if_statement(text, index)
if if_statement_node is not None:
return if_statement_node, next_index
expr_statement_node, next_index = parse_expr_statement(text, index)
if expr_statement_node is not None:
return expr_statement_node, next_index
comment_statement_node, next_index = parse_comment_statement(text, index)
if comment_statement_node is not None:
return comment_statement_node, next_index
return None, index
·ͣɺ JGจ ʹରԠ͢ΔؔͰղੳͰ͖Δ͔Ͳ͏͔ࢼ͢
<จ> := | <ࣜจ> | <ίϝϯτจ>
Slide 138
Slide 138 text
def parse_statement(text, index):
if_statement_node, next_index = parse_if_statement(text, index)
if if_statement_node is not None:
return if_statement_node, next_index
expr_statement_node, next_index = parse_expr_statement(text, index)
if expr_statement_node is not None:
return expr_statement_node, next_index
comment_statement_node, next_index = parse_comment_statement(text, index)
if comment_statement_node is not None:
return comment_statement_node, next_index
return None, index
͠ɺ JGจ ͱͯ͠ͷղੳʹޭ͢Ε จ JGจ ͩͬͨͱ͍͏͜ͱ
JGจ ʹରԠ͢Δநߏจͱɺ JGจ ͷղੳͰਐΜͩJOEFYΛฦ͢
<จ> := | <ࣜจ> | <ίϝϯτจ>
Slide 139
Slide 139 text
def parse_statement(text, index):
if_statement_node, next_index = parse_if_statement(text, index)
if if_statement_node is not None:
return if_statement_node, next_index
expr_statement_node, next_index = parse_expr_statement(text, index)
if expr_statement_node is not None:
return expr_statement_node, next_index
comment_statement_node, next_index = parse_comment_statement(text, index)
if comment_statement_node is not None:
return comment_statement_node, next_index
return None, index
JGจ ͱͯ͠ͷղੳʹࣦഊͨ͠Βɺ࣍ʹ ࣜจ ͱͯ͠ͷղੳΛࢼ͢
<จ> := | <ࣜจ> | <ίϝϯτจ>
Slide 140
Slide 140 text
def parse_statement(text, index):
if_statement_node, next_index = parse_if_statement(text, index)
if if_statement_node is not None:
return if_statement_node, next_index
expr_statement_node, next_index = parse_expr_statement(text, index)
if expr_statement_node is not None:
return expr_statement_node, next_index
comment_statement_node, next_index = parse_comment_statement(text, index)
if comment_statement_node is not None:
return comment_statement_node, next_index
return None, index
͠ɺ ࣜจ ͱͯ͠ͷղੳʹޭ͢Ε จ ࣜจ ͩͬͨͱ͍͏͜ͱ
ࣜจ ʹରԠ͢Δநߏจͱɺ ࣜจ ͷղੳͰਐΜͩJOEFYΛฦ͢
<จ> := | <ࣜจ> | <ίϝϯτจ>
Slide 141
Slide 141 text
def parse_statement(text, index):
if_statement_node, next_index = parse_if_statement(text, index)
if if_statement_node is not None:
return if_statement_node, next_index
expr_statement_node, next_index = parse_expr_statement(text, index)
if expr_statement_node is not None:
return expr_statement_node, next_index
comment_statement_node, next_index = parse_comment_statement(text, index)
if comment_statement_node is not None:
return comment_statement_node, next_index
return None, index
ࣜจ ͱͯ͠ͷղੳʹࣦഊͨ͠Βɺ࠷ޙʹ ίϝϯτจ ͱͯ͠ͷղੳΛࢼ͢
<จ> := | <ࣜจ> | <ίϝϯτจ>
Slide 142
Slide 142 text
def parse_statement(text, index):
if_statement_node, next_index = parse_if_statement(text, index)
if if_statement_node is not None:
return if_statement_node, next_index
expr_statement_node, next_index = parse_expr_statement(text, index)
if expr_statement_node is not None:
return expr_statement_node, next_index
comment_statement_node, next_index = parse_comment_statement(text, index)
if comment_statement_node is not None:
return comment_statement_node, next_index
return None, index
͠ɺ ίϝϯτจ ͱͯ͠ͷղੳʹޭ͢Ε จ ίϝϯτจ ͩͬͨͱ͍͏͜ͱ
ίϝϯτจ ʹରԠ͢Δநߏจͱɺ ίϝϯτจ ͷղੳͰਐΜͩJOEFYΛฦ͢
<จ> := | <ࣜจ> | <ίϝϯτจ>
Slide 143
Slide 143 text
def parse_statement(text, index):
if_statement_node, next_index = parse_if_statement(text, index)
if if_statement_node is not None:
return if_statement_node, next_index
expr_statement_node, next_index = parse_expr_statement(text, index)
if expr_statement_node is not None:
return expr_statement_node, next_index
comment_statement_node, next_index = parse_comment_statement(text, index)
if comment_statement_node is not None:
return comment_statement_node, next_index
return None, index
JGจ ɺ ࣜจ ɺ ίϝϯτจ ͷ͍ͣΕͰͳ͚Εɺ
จ Ͱͳ͍ͷͰɺ/POFͱݩͷJOEFYΛฦͯ͠ऴྃ
<จ> := | <ࣜจ> | <ίϝϯτจ>
Slide 144
Slide 144 text
def parse_statement(text, index):
if_statement_node, next_index = parse_if_statement(text, index)
if if_statement_node is not None:
return if_statement_node, next_index
expr_statement_node, next_index = parse_expr_statement(text, index)
if expr_statement_node is not None:
return expr_statement_node, next_index
comment_statement_node, next_index = parse_comment_statement(text, index)
if comment_statement_node is not None:
return comment_statement_node, next_index
return None, index
<จ> := | <ࣜจ> | <ίϝϯτจ>
͜ͷΑ͏ʹ ʹରԠ͢ΔؔΛఆ͍ٛͯ͘͠ͱɺ
࠷ऴతʹ ϓϩάϥϜ ʹରԠ͢ΔؔΛఆٛͰ͖Δ
͜ͷ ϓϩάϥϜ ʹରԠ͢Δ͕ؔɺҰൠతʹ
ఏڙ͞Ε͍ͯΔߏจղੳثͱݺΕΔͷ
Slide 145
Slide 145 text
ࠓճͷઆ໌Ͱ৮Εͳ͔ͬͨ͜ͱ
w ࣮༻తͳߏจղੳثʹ͢Δʹɺநߏจ
ߏจΤϥʔʹίʔυ্ͷҐஔใΛؚΊͨํ͕Α͍
w όοΫτϥοΫ͋Γͷ࣮ɺ୯७͔͔ͭͳΓ͍ൣғͷ
จ๏نଇΛղੳͰ͖Δ͕ɺܭࢉྔେ͖͍
w ࣮Ұ൪͍͠ͷόάͷͳ͍จ๏نଇΛߟ͑Δ͜ͱ
w όά͕͋Δͱߏจղੳث͕ແݶϧʔϓͨ͠Γ͢Δ
Slide 146
Slide 146 text
ૉͳ࣮ͷ·ͱΊ
w ࣮ҎԼͷεςοϓͰͰ͖Δɿ
w ʹରԠ͢ΔநߏจΛఆٛ͢Δ
w ʹରԠ͢ΔؔΛఆٛ͢Δ
w จ๏نଇͷӈଆʹ ͕͋Δ߹ɺ
ͦͷ ʹରԠ͢ΔؔʹղੳΛͤΔ
Slide 147
Slide 147 text
1BSTFS$PNCJOBUPSͷҖྗ
ͬͱΤϨΨϯτͳํ๏Λνϥݟͤ
Slide 148
Slide 148 text
ࠓճհͨ͠ૉͳ࣮Λ1BSTFS$PNCJOBUPSͰ࣮͢Δͱɺ
ಉ͡ॲཧͳͷʹڻ͘΄Ͳ࣮͕͘ͳΓɺ͔ͭ࠶ར༻ੑ্͕͕Δɿ
parse_comment = sequence(
string("//"),
sequence(
many(char(uppercase + ["_", " "])),
string("\n")
)
)
ؾʹͳΔਓɺεϥΠυඌͷࢀߟจݙ#Λࢀর
Slide 149
Slide 149 text
ߏจղੳͷ·ͱΊ
w ߏจղੳίʔυΛղੳͯ͠நߏจΛ
࡞͢Δॲཧ
w ͞·͟·ͳߏจղੳͷΞϧΰϦζϜ͕͋Δ
w ࠓճόοΫτϥοΫ͋Γͷ
࠶ؼԼ߱ੳΛૉʹ࣮ͨ͠
Slide 150
Slide 150 text
நߏจΛॲཧ͢Δ
දతͳ࣮ύλʔϯ
ߏจղੳͷ͓࣍
Slide 151
Slide 151 text
͜Ε·Ͱɺநߏจͷ֓ཁ࡞ํ๏ΛΈ͖ͯͨ
࣍ʹɺ͜͜ͰநߏจΛ͔͋ͭ͏දతͳ
࣮ύλʔϯΛհ͢Δ
ͬͱසൟʹ͏࣮ύλʔϯͱͯ͠ɺநߏจΛ
ॱ൪ʹ୳ࡧ͍ͯࠪؔ͘͠Λհ͢Δ
Slide 152
Slide 152 text
ࠪؔ
நߏจΛ͔͋ͭ͏දతύλʔϯ
Slide 153
Slide 153 text
ࠪؔɺநߏจͷϊʔυΛॱʹḷ͍ͬͯͬͯɺ
ϊʔυʹ๚ΕΔΕΔͨͼʹॲཧΛ࣮ߦ͢Δؔ
traverse(node, on_enter, on_leave)
PO@FOUFSͱPO@MFBWFͲͪΒؔΛ͢
ϊʔυʹ๚ΕΔΕΔͱ࣮ߦ͞ΕΔ
Կ͕ى͜Δ͔Θ͔ΓͮΒ͍ͷͰਤղ͠·͢
Slide 154
Slide 154 text
def print_enter(node):
print("enter: {node}".format(node=type(node)))
def print_leave(node):
print("leave: {node}".format(node=type(node)))
traverse(node, print_enter, print_leave)
PO@FOUFSͱPO@MFBWF͕Θ͔ΔΑ͏ʹQSJOU͢ΔؔΛ༻ҙ
Slide 155
Slide 155 text
͜ͷUSBWFSTFʹΑͬͯQSJOU͞ΕΔ݁ՌΛΈͯΈ·͠ΐ͏
QSJOU݁Ռ
1SPHSBN
*G4UBUFNFOU
4USJOH-JUFSBM
'VOD$BMM
*EFOUJpFS
$PNNFOU
Slide 156
Slide 156 text
*G4UBUFNFOU
4USJOH-JUFSBM
'VOD$BMM
*EFOUJpFS
$PNNFOU
1SPHSBN
·ͣ1SPHSBNʹ๚ΕΔʢFOUFS1SPHSBNΛQSJOUʣ
FOUFS1SPHSBN
QSJOU݁Ռ
Slide 157
Slide 157 text
1SPHSBN
4USJOH-JUFSBM
'VOD$BMM
*EFOUJpFS
$PNNFOU
*G4UBUFNFOU
࣍ʹ1SPHSBNͷࢠͰ͋Δ*G4UBUFNFOU๚ΕΔ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
QSJOU݁Ռ
Slide 158
Slide 158 text
1SPHSBN
*G4UBUFNFOU
4USJOH-JUFSBM
*EFOUJpFS
$PNNFOU
'VOD$BMM
࣍ʹ*G4UBUFNFOUͷࢠͰ͋Δ'VOD$BMMΛ๚ΕΔ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
FOUFS'VOD$BMM
QSJOU݁Ռ
Slide 159
Slide 159 text
1SPHSBN
*G4UBUFNFOU
4USJOH-JUFSBM
'VOD$BMM $PNNFOU
*EFOUJpFS
QSJOU݁Ռ
࣍ʹ'VOD$BMMͷࢠͰ͋Δ*EFOUJpFSΛ๚ΕΔ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
FOUFS'VOD$BMM
FOUFS*EFOUJpFS
Slide 160
Slide 160 text
1SPHSBN
*G4UBUFNFOU
4USJOH-JUFSBM
'VOD$BMM $PNNFOU
*EFOUJpFS
QSJOU݁Ռ
*EFOUJpFSʹࢠ͍ͳ͍ͷͰɺ*EFOUJpFS͔ΒΕΔ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
FOUFS'VOD$BMM
FOUFS*EFOUJpFS
MFBWF*EFOUJpFS
Slide 161
Slide 161 text
1SPHSBN
*G4UBUFNFOU
'VOD$BMM $PNNFOU
*EFOUJpFS 4USJOH-JUFSBM
QSJOU݁Ռ
'VOD$BMMͷ࣍ͷࢠͰ͋Δ4USJOH-JUFSBMΛ๚ΕΔ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
FOUFS'VOD$BMM
FOUFS*EFOUJpFS
MFBWF*EFOUJpFS
FOUFS4USJOH-JUFSBM
Slide 162
Slide 162 text
1SPHSBN
*G4UBUFNFOU
'VOD$BMM $PNNFOU
*EFOUJpFS 4USJOH-JUFSBM
QSJOU݁Ռ
4USJOH-JUFSBMʹࢠ͍ͳ͍ͷͰɺ4USJOH-JUFSBM͔ΒΕΔ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
FOUFS'VOD$BMM
FOUFS*EFOUJpFS
MFBWF*EFOUJpFS
FOUFS4USJOH-JUFSBM
MFBWF4USJOH-JUFSBM
Slide 163
Slide 163 text
1SPHSBN
*G4UBUFNFOU
$PNNFOU
*EFOUJpFS 4USJOH-JUFSBM
'VOD$BMM
QSJOU݁Ռ
'VOD$BMMͷͯ͢ͷࢠΛ๚ͨ͠ͷͰɺ'VOD$BMM͔ΒΕΔ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
FOUFS'VOD$BMM
FOUFS*EFOUJpFS
MFBWF*EFOUJpFS
FOUFS4USJOH-JUFSBM
MFBWF4USJOH-JUFSBM
MFBWF'VOD$BMM
Slide 164
Slide 164 text
1SPHSBN
*G4UBUFNFOU
*EFOUJpFS 4USJOH-JUFSBM
'VOD$BMM $PNNFOU
QSJOU݁Ռ
*G4UBUFNFOUͷ࣍ͷࢠͰ͋Δ$PNNFOUΛ๚ΕΔ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
FOUFS'VOD$BMM
FOUFS*EFOUJpFS
MFBWF*EFOUJpFS
FOUFS4USJOH-JUFSBM
MFBWF4USJOH-JUFSBM
MFBWF'VOD$BMM
FOUFS$PNNFOU
Slide 165
Slide 165 text
1SPHSBN
*G4UBUFNFOU
*EFOUJpFS 4USJOH-JUFSBM
'VOD$BMM $PNNFOU
QSJOU݁Ռ
$PNNFOUʹࢠ͍ͳ͍ͷͰɺ$PNNFOU͔ΒΕΔ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
FOUFS'VOD$BMM
FOUFS*EFOUJpFS
MFBWF*EFOUJpFS
FOUFS4USJOH-JUFSBM
MFBWF4USJOH-JUFSBM
MFBWF'VOD$BMM
FOUFS$PNNFOU
MFBWF$PNNFOU
Slide 166
Slide 166 text
1SPHSBN
*EFOUJpFS 4USJOH-JUFSBM
'VOD$BMM $PNNFOU
*G4UBUFNFOU
QSJOU݁Ռ
*G4UBUFNFOUͷͯ͢ͷࢠΛ๚ͨ͠ͷͰɺΕΔ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
FOUFS'VOD$BMM
FOUFS*EFOUJpFS
MFBWF*EFOUJpFS
FOUFS4USJOH-JUFSBM
MFBWF4USJOH-JUFSBM
MFBWF'VOD$BMM
FOUFS$PNNFOU
MFBWF$PNNFOU
MFBWF*G4UBUFNFOU
Slide 167
Slide 167 text
*EFOUJpFS 4USJOH-JUFSBM
'VOD$BMM $PNNFOU
*G4UBUFNFOU
1SPHSBN
QSJOU݁Ռ
1SPHSBNͷͯ͢ͷࢠΛ๚ͨ͠ͷͰɺࠪྃ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
FOUFS'VOD$BMM
FOUFS*EFOUJpFS
MFBWF*EFOUJpFS
FOUFS4USJOH-JUFSBM
MFBWF4USJOH-JUFSBM
MFBWF'VOD$BMM
FOUFS$PNNFOU
MFBWF$PNNFOU
MFBWF*G4UBUFNFOU
MFBWF1SPHSBN
Slide 168
Slide 168 text
*EFOUJpFS 4USJOH-JUFSBM
'VOD$BMM $PNNFOU
*G4UBUFNFOU
1SPHSBN
QSJOU݁Ռ
ཁ͢ΔʹɺநߏจΛਂ͞༏ઌ୳ࡧ͢Δؔ
FOUFS1SPHSBN
FOUFS*G4UBUFNFOU
FOUFS'VOD$BMM
FOUFS*EFOUJpFS
MFBWF*EFOUJpFS
FOUFS4USJOH-JUFSBM
MFBWF4USJOH-JUFSBM
MFBWF'VOD$BMM
FOUFS$PNNFOU
MFBWF$PNNFOU
MFBWF*G4UBUFNFOU
MFBWF1SPHSBN
Slide 169
Slide 169 text
͜ͷΑ͏ͳநߏจΛࠪ͢Δ͕ؔ
༻ҙ͞Ε͍ͯΔͱɺ͞ΒʹޙͰհ͢Δ
੩తݕࠪͷίʔυ͕ͱͯॻ͖͘͢ͳΔ
Slide 170
Slide 170 text
ͯ͢ͷநߏจͷϊʔυʹɺࣗͷ
ࢠͷҰཡΛฦؔ͢ΛՃ͢Δ
ϊʔυΛ๚ΕͨΒͷࢠͷҰཡΛऔಘͯ͠ɺ
࠶ؼతʹ๚Ε͍ͯؔ͘Λ࣮͢Δ
ࠪؔͷ࣮खॱ
Slide 171
Slide 171 text
class Node:
def children(self):
raise NotImplementedError()
class ProgramNode(Node):
def __init__(self, statement_nodes):
self.statements = statement_nodes
def children(self):
return self.statements
நߏจͷϊʔυ͕ࣗͷࢠΛฦ͢Α͏ʹཁٻ͢ΔجఈΫϥεΛ༻ҙ
Slide 172
Slide 172 text
class Node:
def children(self):
raise NotImplementedError()
class ProgramNode(Node):
def __init__(self, statement_nodes):
self.statements = statement_nodes
def children(self):
return self.statements
ͦΕͧΕͷநߏจͷϊʔυʹ࣮ͯ͠Β͏
Slide 173
Slide 173 text
class Node:
def children(self):
raise NotImplementedError()
class ProgramNode(Node):
def __init__(self, statement_nodes):
self.statements = statement_nodes
def children(self):
return self.statements
ϓϩάϥϜ ͷͯ͢ͷࢠͷҰཡΛྻͱͯ͠ฦ͢
ࠓճ จ ͷྻҎ֎ʹࢠͳ͍ͷͰͦͷ··ฦͤΑ͍
Slide 174
Slide 174 text
class IfStatementNode(Node):
def __init__(self, condition_node, then_statements):
self.condition_node = condition_node
self.then_statements = then_statements
def children(self):
children = [self.condition_node]
return children + self.then_statements
ผͷέʔεͱͯ͠ɺ JGจ ͷநߏจͷϊʔυΈͯΈΑ͏
Slide 175
Slide 175 text
class IfStatementNode(Node):
def __init__(self, condition_node, then_statements):
self.condition_node = condition_node
self.then_statements = then_statements
def children(self):
children = [self.condition_node]
return children + self.then_statements
JGจ ͷࢠ݅෦ͷ ࣜ ͱɺ\^ͷதͷ
ෳͷ จ ͳͷͰɺ·ͱΊͯҰཡʹͯ͠ฦ͢
Slide 176
Slide 176 text
class IfStatementNode(Node):
def __init__(self, condition_node, then_statements):
self.condition_node = condition_node
self.then_statements = then_statements
def children(self):
children = [self.condition_node]
return children + self.then_statements
ಉ༷ʹɺͯ͢ͷநߏจͷϊʔυʹDIJMESFOΛ࣮ͤ͞Δ
Slide 177
Slide 177 text
४උ͕ͬͨͷͰɺࠪؔͷ
ຊମΛ࣮͍ͯ͘͠
Slide 178
Slide 178 text
def traverse(node, on_enter=None, on_leave=None):
if on_enter is not None:
on_enter(node)
for child in node.children():
traverse(child, on_enter, on_leave)
if on_leave is not None:
on_leave(node)
Slide 179
Slide 179 text
def traverse(node, on_enter=None, on_leave=None):
if on_enter is not None:
on_enter(node)
for child in node.children():
traverse(child, on_enter, on_leave)
if on_leave is not None:
on_leave(node)
நߏจͷϊʔυΛ๚ΕͨͷͰPO@FOUFSΛ࣮ߦ͢Δ
͠PO@FOUFS͕লུ͞Ε͍ͯΔ߹Կ͠ͳ͍
Slide 180
Slide 180 text
def traverse(node, on_enter=None, on_leave=None):
if on_enter is not None:
on_enter(node)
for child in node.children():
traverse(child, on_enter, on_leave)
if on_leave is not None:
on_leave(node)
நߏจͷϊʔυ͔ΒࢠͷҰཡΛ
औಘ͠ɺࢠΛ࠶ؼతʹ͍ࠪͯ͘͠
Slide 181
Slide 181 text
def traverse(node, on_enter=None, on_leave=None):
if on_enter is not None:
on_enter(node)
for child in node.children():
traverse(child, on_enter, on_leave)
if on_leave is not None:
on_leave(node)
ࢠͷ͕ࠪऴΘͬͨͷͰɺࠓͷϊʔυ͔Βୀग़͢Δ
Slide 182
Slide 182 text
͜͜·ͰͰ؆୯ʹࠪؔΛ࣮Ͱ͖ͨ
ࠪؔྻͰ͍͏GPS&BDIͷΑ͏ͳ
جૅతͳؔͩͱߟ͑ΔͱΘ͔Γ͍͢
ͦͷͨΊɺͱͯԠ༻ͷൣғ͕͍
Slide 183
Slide 183 text
w ݅ʹ͋ͬͨநߏจͷϊʔυͷநग़
w มؔͷείʔϓղੳ
w ʜ
ࠪؔͰͰ͖Δ͜ͱ
Slide 184
Slide 184 text
found = find_nodes(node, condition)
݅ʹ͋ͬͨநߏจͷϊʔυͷநग़
୳ࡧ͍ͨ͠நߏจ ݕࡧ͍ͨ݅͠ͷؔ
͜ͷநग़ؔࠪؔΛͬͯ
؆୯ʹ࣮Ͱ͖Δ
Slide 185
Slide 185 text
def find_nodes(node, condition):
found_nodes = []
def collect_nodes(entered_node):
if not condition(entered_node):
return
found_nodes.append(entered_node)
traverse(node, collect_nodes)
return found_nodes
Slide 186
Slide 186 text
def find_nodes(node, condition):
found_nodes = []
def collect_nodes(entered_node):
if not condition(entered_node):
return
found_nodes.append(entered_node)
traverse(node, collect_nodes)
return found_nodes
ݕࡧ݅ʹ͋ͯ·ΔநߏจͷϊʔυΛूΊΔྻ
Slide 187
Slide 187 text
def find_nodes(node, condition):
found_nodes = []
def collect_nodes(entered_node):
if not condition(entered_node):
return
found_nodes.append(entered_node)
traverse(node, collect_nodes)
return found_nodes
நߏจͷϊʔυΛ๚ΕΔλΠϛϯάͰݕࡧ݅ͷ
ؔΛ࣮͠ɺ݅ʹ͋ͯ·ΔϊʔυΛूΊΔؔ
Slide 188
Slide 188 text
def find_nodes(node, condition):
found_nodes = []
def collect_nodes(entered_node):
if not condition(entered_node):
return
found_nodes.append(entered_node)
traverse(node, collect_nodes)
return found_nodes
நߏจͷϊʔυΛूΊΔؔΛ
PO@FOUFSʹࢦఆͯࠪ͠Λ։࢝
Slide 189
Slide 189 text
def find_nodes(node, condition):
found_nodes = []
def collect_nodes(entered_node):
if not condition(entered_node):
return
found_nodes.append(entered_node)
traverse(node, collect_nodes)
return found_nodes
ݟ͔ͭͬͨநߏจͷϊʔυͷྻΛฦ͢
Slide 190
Slide 190 text
def find_nodes(node, condition):
found_nodes = []
def collect_nodes(entered_node):
if not condition(entered_node):
return
found_nodes.append(entered_node)
traverse(node, collect_nodes)
return found_nodes
ࠪؔΛ͏͜ͱͰɺͱͯ؆୯ʹ࣮Ͱ͖ͨ
Slide 191
Slide 191 text
ଞʹɺࠪؔΛ͏ͱείʔϓղੳΛ
࣮͘͢͠ͳΔ
είʔϓղੳͱɺมͷఆٛ͞Ε͍ͯΔ
είʔϓΛղੳ͢Δ͜ͱͰɺະఆٛͷม
ະ༻ͷมΛݟ͚ͭΔख๏
Slide 192
Slide 192 text
ίʔυ͕͔ͳΓ͘ͳΔͷͰɺ࣮ࡍͷίʔυׂѪ͢Δ͕ɺ
େ·͔ʹҎԼͷखॱͰείʔϓΛղੳͰ͖Δɿ
ؔએݴͷߏจͷPO@FOUFSͰ
είʔϓΦϒδΣΫτΛ࡞͢Δ
࡞ͨ͠είʔϓΦϒδΣΫτΛ
ݱࡏͷείʔϓͷελοΫʹੵΉ
ݟ͔ͭͬͨมએݴΛελοΫͷઌ಄ͷ
είʔϓΦϒδΣΫτՃ͍͑ͯ͘
ؔએݴͷߏจ͔ΒͷPO@MFBWFͰ
ઌ಄ͷείʔϓΦϒδΣΫτΛ
ελοΫ͔ΒऔΓআ͘
Slide 193
Slide 193 text
• https://github.com/estools/escope
• https://github.com/rubocop-hq/rubocop
ͷ VariableForce
• https://github.com/Kuniwak/vint
ͷ scope_plugin
ࢀߟʹͳΔείʔϓղੳͷ࣮
Slide 194
Slide 194 text
ࠪؔͷ࣮Ͱઆ໌͠ͳ͔ͬͨ͜ͱ
w ࠪͷதஅࢠͷ୳ࡧͷεΩοϓػೳ
w ύϑΥʔϚϯεվળͷͨΊʹॏཁ
w ୈڃؔΛΘͳ͍ࠪؔͷ࣮
w ݴޠʹΑͬͯؔΛҾʹͤͳ͍͜ͱ͋Δ
w ͦͷ߹(P'ͷ7JTJUPSύλʔϯͰସՄೳ
Slide 195
Slide 195 text
ࠪؔͷ·ͱΊ
w நߏจͷࠪؔΛఆ͓ٛͯ͘͠ͱศར
w ࠪؔͷ࣮͘͠ͳ͍
w ࠪؔ͞·͟·ͳॲཧԠ༻Ͱ͖Δ
Slide 196
Slide 196 text
؆୯ͳ੩తղੳΛ
࣮ͯ͠ΈΑ͏
Α͏͘ΰʔϧ
Slide 197
Slide 197 text
if isEmpty('') {
//CATCH_ME_IF_YOU_CAN
}
͓ɺੜҙؾͳίϝϯτΛใࠂ͢Δ੩తղੳ
report_specific_comments(text)
# Found 1 namaiki comments!
Slide 198
Slide 198 text
ߏจղੳͯ͠நߏจΛ࡞͢Δ
நߏจΛࠪͯ͠ྫͷίϝϯτΛूΊΔ
ूΊͨίϝϯτΛใࠂ͢Δ
࣮ͷྲྀΕ
Slide 199
Slide 199 text
def report_namaiki_comments(text):
node = parse_program(text)
if node is None:
print("Syntax Error!")
return
namaiki_comments = find_nodes(node, is_namaiki_comment)
print("Found {count} comments!".format(count=len(namaiki_comments)))
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
ίʔυ͔ΒੜҙؾͳίϝϯτΛݟ͚ͭͯΛใࠂ͢Δؔ
Slide 200
Slide 200 text
def report_namaiki_comments(text):
node = parse_program(text)
if node is None:
print("Syntax Error!")
return
namaiki_comments = find_nodes(node, is_namaiki_comment)
print("Found {count} comments!".format(count=len(namaiki_comments)))
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
ίʔυΛߏจղੳͯ͠நߏจΛ࡞͢Δ
Slide 201
Slide 201 text
def report_namaiki_comments(text):
node = parse_program(text)
if node is None:
print("Syntax Error!")
return
namaiki_comments = find_nodes(node, is_namaiki_comment)
print("Found {count} comments!".format(count=len(namaiki_comments)))
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
ߏจղੳʹࣦഊͨ͠ΒɺߏจΤϥʔΛදࣔ
Slide 202
Slide 202 text
def report_namaiki_comments(text):
node = parse_program(text)
if node is None:
print("Syntax Error!")
return
namaiki_comments = find_nodes(node, is_namaiki_comment)
print("Found {count} comments!".format(count=len(namaiki_comments)))
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
ࠪؔͷར༻ྫͱ࣮ͯͨ͠͠ɺݕࡧؔΛͬͯੜҙؾͳίϝϯτΛूΊΔ
Slide 203
Slide 203 text
def report_namaiki_comments(text):
node = parse_program(text)
if node is None:
print("Syntax Error!")
return
namaiki_comments = find_nodes(node, is_namaiki_comment)
print("Found {count} comments!".format(count=len(namaiki_comments)))
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
ݕࡧؔͷ݅ʹࢦఆͨ͠ɺੜҙؾίϝϯτ͔Ͳ͏͔ఆ͢Δؔ
Slide 204
Slide 204 text
def report_namaiki_comments(text):
node = parse_program(text)
if node is None:
print("Syntax Error!")
return
namaiki_comments = find_nodes(node, is_namaiki_comment)
print("Found {count} comments!".format(count=len(namaiki_comments)))
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
·ͣɺநߏจ͕ ίϝϯτจ Ͱͳ͚Εɺ
ੜҙؾͳίϝϯτͰͳ͍ͷͰɺ'BMTFΛฦͯ͠ऴྃ
Slide 205
Slide 205 text
def report_namaiki_comments(text):
node = parse_program(text)
if node is None:
print("Syntax Error!")
return
namaiki_comments = find_nodes(node, is_namaiki_comment)
print("Found {count} comments!".format(count=len(namaiki_comments)))
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
ίϝϯτจ ͩͬͨ߹ɺίϝϯτͷ༰ʹੜҙؾͳ
ͷؚ͕·Ε͍ͯΕ5SVFɺͦΕҎ֎'BMTFΛฦ͢
Slide 206
Slide 206 text
def report_namaiki_comments(text):
node = parse_program(text)
if node is None:
print("Syntax Error!")
return
namaiki_comments = find_nodes(node, is_namaiki_comment)
print("Found {count} comments!".format(count=len(namaiki_comments)))
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
ઌ΄ͲͷؔͰ5SVF͕ฦ͞Εͨநߏจʢ ੜҙؾͳίϝϯτʣ͕
Ұཡʹͯ͠ฦ͞ΕΔ
Slide 207
Slide 207 text
def report_namaiki_comments(text):
node = parse_program(text)
if node is None:
print("Syntax Error!")
return
namaiki_comments = find_nodes(node, is_namaiki_comment)
print("Found {count} comments!".format(count=len(namaiki_comments)))
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
ੜҙؾͳίϝϯτͷΛใࠂͯ͠ऴྃ
Slide 208
Slide 208 text
def report_namaiki_comments(text):
node = parse_program(text)
if node is None:
print("Syntax Error!")
return
namaiki_comments = find_nodes(node, is_namaiki_comment)
print("Found {count} comments!".format(count=len(namaiki_comments)))
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
ߏจղੳثɾࠪؔɾݕࡧؔΛ
Έ߹Θͤͯ͏͜ͱͰɺͱͯ
؆୯ʹ੩తݕࠪΛ࣮Ͱ͖ͨ
Slide 209
Slide 209 text
؆୯ͳ੩తݕࠪͷ࣮·ͱΊ
੩తݕࠪɺߏจղੳثɾࠪؔɾݕࡧؔΛ
Έ߹ΘͤΔ͜ͱͰɺ͘͝؆୯ʹ࣮Ͱ͖Δ
Slide 210
Slide 210 text
ෳࡶͳ੩తղੳΛ
ׂ͢ΔςΫχοΫ
ΰʔϧୡͷͦͷઌ
Slide 211
Slide 211 text
ઌ΄Ͳͭͷ੩తݕࠪϧʔϧͷΈΛ࣮͕ͨ͠ɺ
ݱ࣮ʹෳͷݕࠪϧʔϧΛ࣮͢Δ͜ͱ͕ଟ͍
͜ͷͱ͖ɺͲͷΑ͏ʹίʔυΛׂ͢Δ͔ʹΑͬͯ
อकੑ͕େ͖͘มΘΔ
Slide 212
Slide 212 text
ݕࠪϧʔϧʹΑΔׂΛհ
༗໊ͳ੩తղੳπʔϧͷҎ্͕࠾༻͍ͯ͠Δ
Slide 213
Slide 213 text
ݕࠪϧʔϧʹΑΔׂͰɺͭͷݕࠪϧʔϧ͕
ͭͷίϯϙʔωϯτʢΫϥεPSؔʣʹରԠ͢Δ
͜ΕʹΑͬͯݕࠪϧʔϧ͕͓ޓ͍ʹૄʹͳΓɺ
ݕࠪϧʔϧͷՃमਖ਼আΛΓ͘͢ͳΔ
Slide 214
Slide 214 text
class Policy:
def get_violations(self, node):
raise NotImplementedError()
ݕࠪϧʔϧͷڞ௨ΠϯλʔϑΣʔεΛܾΊΔ
Slide 215
Slide 215 text
class Policy:
def get_violations(self, node):
raise NotImplementedError()
நߏจͷϊʔυ͔Βݟ͔ͭͬͨΛɺจࣈྻͷ
ྻͱͯ͠ฦ͢ϝιουɻ͜ͷϝιουɺ΄͔ͷ
ίϯϙʔωϯτͰ͔ࠪؔΒݺΕΔΠϝʔδ
Slide 216
Slide 216 text
class Policy:
def get_violations(self, node):
raise NotImplementedError()
ྫ͑ɺҾʹੜҙؾͳ ίϝϯτจ ͕͖ͨΒ
ࢦఠϝοηʔδΛฦ࣮͢ɺ JGจ ͕͖ͨΒ
݅෦ͷ ࣜ Λݕࠪ͢Δͧɺͱ͍͏࣮͕͋Γ͑Δ
ॏཁͳͷɺݕࠪϧʔϧ͕ผͳΒผͷΫϥεʹ
ׂ࣮ͯ͢͠Δ͜ͱɻҰॹʹ͢Δͱอक͕େมʹͳΔ
Slide 217
Slide 217 text
class NamaikiCommentPolicy(Policy):
def get_violations(self, node):
if not is_namaiki_comment(node):
return []
return ["FOUND YOU!"]
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
લʹ࣮ͨ͠ͷͱಉ͡ɺੜҙؾͳ ίϝϯτจ Λࢦఠ͢Δݕࠪϧʔϧ
Slide 218
Slide 218 text
class NamaikiCommentPolicy(Policy):
def get_violations(self, node):
if not is_namaiki_comment(node):
return []
return ["FOUND YOU!"]
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
Ҿͷநߏจͷϊʔυ͕ੜҙؾͳ ίϝϯτจʼͳΒɺ
ʮݟ͚ͭͨͧʂʯͱ͍͏ϝοηʔδΛฦ͢Α͏ʹ࣮
Slide 219
Slide 219 text
class NamaikiCommentPolicy(Policy):
def get_violations(self, node):
if not is_namaiki_comment(node):
return []
return ["FOUND YOU!"]
def is_namaiki_comment(entered_node):
if not isinstance(entered_node, CommentStatementNode):
return False
comment_node = entered_node
return "CATCH_ME_IF_YOU_CAN" in comment_node.comment_content
ੜҙؾͳ ίϝϯτจ Λఆ͢ΔؔલͷͷΛྲྀ༻
Slide 220
Slide 220 text
class Policies(Policy):
def __init__(self, policies):
self.policies = policies
def get_violations(self, node):
return reduce(
lambda violations, policy: violations + policy.get_violations(node),
self.policies,
[]
)
ෳͷݕࠪϧʔϧΛଋͶΔݕࠪϧʔϧΛ४උ
Slide 221
Slide 221 text
class Policies(Policy):
def __init__(self, policies):
self.policies = policies
def get_violations(self, node):
return reduce(
lambda violations, policy: violations + policy.get_violations(node),
self.policies,
[]
)
ݕࠪϧʔϧͱಉ͡ڞ௨ΠϯλʔϑΣʔεΛ࣮͢Δ
Slide 222
Slide 222 text
class Policies(Policy):
def __init__(self, policies):
self.policies = policies
def get_violations(self, node):
return reduce(
lambda violations, policy: violations + policy.get_violations(node),
self.policies,
[]
)
෦ͷෳͷݕࠪϧʔϧΛϧʔϓͯ͠ݕࠪͯ͠ɺ݁ՌΛ߹ͯ͠ฦ͢
Slide 223
Slide 223 text
def lint(text):
node = parse_program(text)
if node is None:
return ["Syntax Error!"]
policies = Policies([NamaikiCommentPolicy()])
violations_buffer = []
def collect_violations(entered_node):
violations = policies.get_violations(entered_node)
violations_buffer.append(violations)
traverse(node, collect_violations)
all_violations = []
return reduce(add, violations_buffer, all_violations)
Slide 224
Slide 224 text
def lint(text):
node = parse_program(text)
if node is None:
return ["Syntax Error!"]
policies = Policies([NamaikiCommentPolicy()])
violations_buffer = []
def collect_violations(entered_node):
violations = policies.get_violations(entered_node)
violations_buffer.append(violations)
traverse(node, collect_violations)
all_violations = []
return reduce(add, violations_buffer, all_violations)
ෳͷݕࠪϧʔϧͰ·ͱΊͯݕࠪ͢Δؔ
Slide 225
Slide 225 text
def lint(text):
node = parse_program(text)
if node is None:
return ["Syntax Error!"]
policies = Policies([NamaikiCommentPolicy()])
violations_buffer = []
def collect_violations(entered_node):
violations = policies.get_violations(entered_node)
violations_buffer.append(violations)
traverse(node, collect_violations)
all_violations = []
return reduce(add, violations_buffer, all_violations)
༩͑ΒΕͯจࣈྻΛߏจղੳͯ͠நߏจΛ࡞
Slide 226
Slide 226 text
def lint(text):
node = parse_program(text)
if node is None:
return ["Syntax Error!"]
policies = Policies([NamaikiCommentPolicy()])
violations_buffer = []
def collect_violations(entered_node):
violations = policies.get_violations(entered_node)
violations_buffer.append(violations)
traverse(node, collect_violations)
all_violations = []
return reduce(add, violations_buffer, all_violations)
ߏจղੳʹࣦഊͨ͠ΒɺߏจղੳࣦഊͷϝοηʔδΛ݁Ռͱͯ͠ฦ͢
Slide 227
Slide 227 text
def lint(text):
node = parse_program(text)
if node is None:
return ["Syntax Error!"]
policies = Policies([NamaikiCommentPolicy()])
violations_buffer = []
def collect_violations(entered_node):
violations = policies.get_violations(entered_node)
violations_buffer.append(violations)
traverse(node, collect_violations)
all_violations = []
return reduce(add, violations_buffer, all_violations)
ෳͷݕࠪϧʔϧΛଋͶͯɺͭͷݕࠪϧʔϧʹ·ͱΊΔ
ʢ͜ͷྫͰɺੜҙؾͳίϝϯτΛݕࠪ͢Δϧʔϧ͚ͩʣ
Slide 228
Slide 228 text
def lint(text):
node = parse_program(text)
if node is None:
return ["Syntax Error!"]
policies = Policies([NamaikiCommentPolicy()])
violations_buffer = []
def collect_violations(entered_node):
violations = policies.get_violations(entered_node)
violations_buffer.append(violations)
traverse(node, collect_violations)
all_violations = []
return reduce(add, violations_buffer, all_violations)
ݕࠪϝοηʔδΛूΊΔྻΛ४උ
Slide 229
Slide 229 text
def lint(text):
node = parse_program(text)
if node is None:
return ["Syntax Error!"]
policies = Policies([NamaikiCommentPolicy()])
violations_buffer = []
def collect_violations(entered_node):
violations = policies.get_violations(entered_node)
violations_buffer.append(violations)
traverse(node, collect_violations)
all_violations = []
return reduce(add, violations_buffer, all_violations)
༩͑ΒΕͨநߏจͷϊʔυ͔ΒɺݕࠪϝοηʔδΛूΊΔؔ
Slide 230
Slide 230 text
def lint(text):
node = parse_program(text)
if node is None:
return ["Syntax Error!"]
policies = Policies([NamaikiCommentPolicy()])
violations_buffer = []
def collect_violations(entered_node):
violations = policies.get_violations(entered_node)
violations_buffer.append(violations)
traverse(node, collect_violations)
all_violations = []
return reduce(add, violations_buffer, all_violations)
நߏจΛࠪͯ͠ɺݕࠪϝοηʔδΛूΊ͍ͯ͘
Slide 231
Slide 231 text
def lint(text):
node = parse_program(text)
if node is None:
return ["Syntax Error!"]
policies = Policies([NamaikiCommentPolicy()])
violations_buffer = []
def collect_violations(entered_node):
violations = policies.get_violations(entered_node)
violations_buffer.append(violations)
traverse(node, collect_violations)
all_violations = []
return reduce(add, violations_buffer, all_violations)
ू·ͬͨݕࠪϝοηʔδΛͭͷྻʹ·ͱΊͯฦ͢
Slide 232
Slide 232 text
text = "if isEmpty('') {\n// CATCH_ME_IF_YOU_CAN\n}\n"
violations = lint(text)
ෳͷݕࠪϧʔϧͰ੩తղੳͰ͖ΔΑ͏ʹͳͬͨ
Slide 233
Slide 233 text
ݕࠪϧʔϧʹΑΔׂͷ·ͱΊ
w ੩తݕࠪͷݕࠪϧʔϧݸผͷίϯϙʔωϯτ
ͱ࣮ͯ͢͠Δͱอक͍͢͠
w ଟ͘ͷ੩తݕࠪπʔϧ͜ͷύλʔϯʹԊͬͯ
࣮͞Ε͍ͯΔ
Slide 234
Slide 234 text
ଞʹ࣮ύλʔϯͨ͘͞Μ͋Δ͕ɺ
࣌ؒͷ߹ʢͱࠓͷମྗʣͰհ͖͠Εͳ͍
͞ΒʹΓ͍ͨํɺʮ7JNTDSJQUͷ-JOU࡞ऀʹ
ΑΔ୭ಘσβΠϯύλʔϯʯͱ͍͏هࣄΛࢀর
https://qiita.com/Kuniwak/items/d6a2d22711e4d7856edd
Slide 235
Slide 235 text
࣮ࡍͷ੩తݕࠪπʔϧͷ
࣮ΛಡΜͰΈΑ͏
ීஈ͍ͬͯΔ
Slide 236
Slide 236 text
1ZUIPO
w ߏจղੳث
w BTUQBSTFʢඪ४ϥΠϒϥϦʣ
w ࠪؔ
w BTU/PEF7JTJUPSʢඪ४ϥΠϒϥϦʣ
w ੩తݕࠪϧʔϧ
w $IFDLFS53:ʢQZqBLFTͷQZqBLTDIFDLFSQZʣ
Slide 237
Slide 237 text
3VCZ
w ߏจղੳث
w 1BSTFS3VCZ
(JU)VCͷXIJUFRVBSLQBSTFSͷMJCQBSTFSSVCZZ
w ࠪؔ
w 3VCPDPQ"455SBWFSTBM
3VCPDPQͷMJCSVCPDPQBTUUSBWFSTBMSC
w ੩తݕࠪϧʔϧ
w 3VCPDPQ$PQ-JOU&NQUZ&OTVSF
3VCPDPQͷMJCSVCPDPQDPQMJOUFNQUZ@FOTVSFSC
Slide 238
Slide 238 text
+BWB4DSJQU
w ߏจղੳث
w 1BSTFSʢ(JU)VCͷBDPSOKTBDPSOͷTSDTUBUFKT
w ࠪؔ
w 5SBWFSTFUSBWFSTF
&4-JOUͷMJCVUJMUSBWFSTFKT
w ੩తݕࠪϧʔϧ
w SVMFTOPFNQUZGVODUJPO
&4-JOUͷMJCSVMFTOPFNQUZGVODUJPOKT
Slide 239
Slide 239 text
͜Ε·ͰͷࣝʹΑͬͯ
࡞ΕΔΑ͏ʹͳΔͷ
కΊ͘͘Γʹ
Slide 240
Slide 240 text
ෳͷݕࠪϧʔϧʹΑΔ੩తݕࠪ
https://github.com/Kuniwak/Vint
Slide 241
Slide 241 text
$44ͷநߏจΛൺֱ͢Δπʔϧ
https://github.com/mixi-inc/css-semdiff
$ css-astdiff a.css b.css --verbose
extra:
.extra-1 {
border: none;
}
missing:
.missing-1 {
border: none;
}
---------------------------------
1 extra rules and 1 missing rules
Slide 242
Slide 242 text
؆қతͳߏจղੳͰґଘؔσʔλϕʔεΛ࡞
https://twitter.com/orga_chem/status/674847225684475905
Slide 243
Slide 243 text
·ͱΊ
੩తղੳΛߏ͢Δجຊతͳߟ͑ํΛհɿ
w நߏจ
w ߏจղੳ
w ࠪؔ
w ݕࠪϧʔϧͷׂ
੩తղੳҙ֎ͱ؆୯ʹ࣮Ͱ͖·͢
Slide 244
Slide 244 text
ࢀߟจݙ
͍·Ͳ͖ͷϓϩάϥϜݴޠͷ࡞ΓํʢஶSBOEZʣ
https://www.amazon.co.jp/dp/4839919232
.POBEJD1BSTFS$PNCJOBUPS
http://www.cs.nott.ac.uk/~pszgmh/monparsing.pdf
#
"