2018-12-06 22:53:14 +08:00
|
|
|
|
var ferrisTypes = [
|
2021-08-08 19:37:30 +08:00
|
|
|
|
{
|
|
|
|
|
attr: 'does_not_compile',
|
|
|
|
|
title: '这些代码不能编译!'
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
attr: 'panics',
|
|
|
|
|
title: '这些代码会 panic!'
|
|
|
|
|
},
|
|
|
|
|
{
|
|
|
|
|
attr: 'not_desired_behavior',
|
|
|
|
|
title: '这些代码不会产生期望的行为。'
|
|
|
|
|
}
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
document.addEventListener('DOMContentLoaded', () => {
|
|
|
|
|
for (var ferrisType of ferrisTypes) {
|
|
|
|
|
attachFerrises(ferrisType)
|
|
|
|
|
}
|
|
|
|
|
})
|
|
|
|
|
|
2022-02-06 22:46:20 +08:00
|
|
|
|
function attachFerrises(type) {
|
2021-08-08 19:37:30 +08:00
|
|
|
|
var elements = document.getElementsByClassName(type.attr)
|
|
|
|
|
|
|
|
|
|
for (var codeBlock of elements) {
|
2022-02-06 22:46:20 +08:00
|
|
|
|
var lines = codeBlock.innerText.replace(/\n$/, '').split(/\n/).length
|
|
|
|
|
var size = 'large'
|
|
|
|
|
if (lines < 4) {
|
|
|
|
|
size = 'small'
|
2018-12-06 22:53:14 +08:00
|
|
|
|
}
|
2022-02-06 22:46:20 +08:00
|
|
|
|
|
|
|
|
|
var container = prepareFerrisContainer(codeBlock, size == 'small')
|
|
|
|
|
container.appendChild(createFerris(type, size))
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function prepareFerrisContainer(element, useButtons) {
|
|
|
|
|
var foundButtons = element.parentElement.querySelector('.buttons')
|
|
|
|
|
if (useButtons && foundButtons) {
|
|
|
|
|
return foundButtons
|
2018-12-06 22:53:14 +08:00
|
|
|
|
}
|
2022-02-06 22:46:20 +08:00
|
|
|
|
|
|
|
|
|
var div = document.createElement('div')
|
|
|
|
|
div.classList.add('ferris-container')
|
|
|
|
|
|
|
|
|
|
element.parentElement.insertBefore(div, element)
|
|
|
|
|
|
|
|
|
|
return div
|
2021-08-08 19:37:30 +08:00
|
|
|
|
}
|
|
|
|
|
|
2022-02-06 22:46:20 +08:00
|
|
|
|
function createFerris(type, size) {
|
2021-08-08 19:37:30 +08:00
|
|
|
|
var a = document.createElement('a')
|
|
|
|
|
a.setAttribute('href', 'ch00-00-introduction.html#ferris')
|
|
|
|
|
a.setAttribute('target', '_blank')
|
|
|
|
|
|
|
|
|
|
var img = document.createElement('img')
|
|
|
|
|
img.setAttribute('src', 'img/ferris/' + type.attr + '.svg')
|
|
|
|
|
img.setAttribute('title', type.title)
|
2022-02-06 22:46:20 +08:00
|
|
|
|
img.classList.add('ferris')
|
|
|
|
|
img.classList.add('ferris-' + size)
|
2021-08-08 19:37:30 +08:00
|
|
|
|
|
|
|
|
|
a.appendChild(img)
|
|
|
|
|
|
2022-02-06 22:46:20 +08:00
|
|
|
|
return a
|
2021-08-08 19:37:30 +08:00
|
|
|
|
}
|