search fire star recently

crystal-examples

Automatic validation of Crystal code samples

0.5.2 Latest release released
maiha/crystal-examples
22 1

crystal-examples Build Status

crystal examples checker

Requirements

  • crystal-examples : linux x86_64 static binary is available
  • docker-compose

Setup

First, specify a working directory and initialize or upgrade. Be careful when specifying an existing directory, as files such as Makefiles will be overwritten.

$ crystal-examples setup .
Setting up working directory in ./
  ok         /tmp/work
  create     Makefile
  create     config.toml
  create     docker-compose.yml
  create     examples.db
  create     crystal-examples # 0.3.1 [51d73b1] (2019-03-20)
  not found  crystal/src
  ...
  not found  ./crystal/bin/crystal # (compiled compiler)
  ...

crystal/src

Second, prepare source directory. In general, run as follows.

$ git clone https://github.com/crystal-lang/crystal.git

Here, crsytal/src should be in subdir because compiler will work in docker container which mounts "./".

crystal

Then, prepare crystal compiler. There are three choices.

1. use compiled compiler (default)

Build ./crystal/.build/crystal if it's first time for the ./crystal src.

$ make crystal
2. use system compiler

Update the value of bin to just crystal.

$ vi config.toml
bin     = "crystal"               # use system compiler
3. use custom compiler

Same above, you can use any compiler by updating bin in config.toml. Note that it will be used in docker container.

Web interface

make web runs web server at 0.0.0.0:8080 in docker container.

$ make web
[production] Kemal is ready to lead at http://0.0.0.0:8080

If you want to change setting like listen port, edit config.toml.

Architecture

src

a relative path from crystal src dir to the src file. For example, array.cr, http/client.cr.

Example model

one code block written in src as comment.

  • src : its src
  • seq : sequence number of the comment blocks in the src
  • line : line number of the comment block in the src
  • type : type of comment block (ex. json, crystal)
  • code : content of the comment block
[] of Int32 # same as Array(Int32)
[]          # syntax error
  • sha1 : SHA1 message digest for the code
  • compiled : status cache about compiling
  • tested : status cache about testing

CompileCache model

compile cache of Example

  • src, seq : the primary key for the Example
  • exit_code : exit code of compiling process
  • log : stdout and stderr of compiling

TestCache model

test cache of Example

  • src, seq : the primary key for the Example
  • exit_code : exit code of testing process
  • log : stdout and stderr of testing

Heuritstic model

Accumulated heuristics for example code execution.

  • action : heuristic type (require, compile, test)
  • target : heuristic target (file name or SHA1 of the code)
  • by : heuristic argument

It is serialized into the following string.

compile 081fe59b04... by:pseudo ...
require digest/base.cr by:digest ...
test fa5a9799... by:random ...

See: bundled/heuristic.jnl

Difficulty

Annotations

There are various types of sample code.

lib LibTicker
  fun on_tick(callback : (Int32, Void* ->), data : Void*)
end
FileUtils.ln("/usr/bin/vim", "/usr/bin/emacs")

Is this pseudo code? Is this the real code we should test? Ideally the sample code should be annotated at this point.

# @[Test]
# ```crystal
# [:foo, :bar].size # => 2
# ```

At present, we are responding each time by accumulating empirical knowledge by manual housekeeping in bundled/heuristic.jnl.

API breaking changes

Crystal often broke the stdlib API compatibility, especially Time, at each release. For example, we have an example code like this.

time = Time.utc(2016, 2, 15, 10, 20, 30)
time.to_s # => 2016-02-15 10:20:30 UTC

Our inner module CommentSpec convert this as follows.

time.to_s.should eq( Time.parse("2016-02-15 10:20:30 UTC", "%F %T %z") )

However, there is no guarantee that Time.parse andTime.new will work with the current crystal version, and there is no alias for backwards compatibility.

This is preventing the use within CI and automation.

Development

docker-compose is needed in development too.

$ make

Contributing

  1. Fork it ( https://github.com/maiha/crystal-examples/fork )
  2. Create your feature branch (git checkout -b my-new-feature)
  3. Commit your changes (git commit -am 'Add some feature')
  4. Push to the branch (git push origin my-new-feature)
  5. Create a new Pull Request

Contributors

  • maiha maiha - creator, maintainer
crystal-examples:
  github: maiha/crystal-examples
  version: ~> 0.5.2

Authors

  • maiha

License

MIT

Crystal

none

Dependencies 12

  • app~maiha 0.5.0
    {'github' => 'maiha/app.cr', 'version' => '0.5.0'}
  • comment-spec 0.4.0
    {'github' => 'maiha/comment-spec.cr', 'version' => '0.4.0'}
  • cmds
    {'github' => 'maiha/cmds.cr', 'verison' => '>= 0.3.3'}
  • composite_logger >= 0.3.2
    {'github' => 'maiha/composite_logger.cr', 'version' => '>= 0.3.2'}
  • shell 0.4.0
    {'github' => 'maiha/shell.cr', 'version' => '0.4.0'}
  • pretty >= 0.7.2
    {'github' => 'maiha/pretty.cr', 'version' => '>= 0.7.2'}
  • sqlite3 0.10.0
    {'github' => 'crystal-lang/crystal-sqlite3', 'version' => '0.10.0'}
  • pon >= 0.4.2
    {'github' => 'maiha/pon.cr', 'version' => '>= 0.4.2'}
  • pon >= 0.5.0
    {'github' => 'maiha/pon.cr', 'version' => '>= 0.5.0'}
  • kemal 0.25.0
    {'github' => 'kemalcr/kemal', 'version' => '0.25.0'}
  • slang 1.7.1
    {'github' => 'jeromegn/slang', 'version' => '1.7.1'}
  • crustache 2.4.0
    {'github' => 'MakeNowJust/crustache', 'version' => '2.4.0'}

Development Dependencies 0

Dependents 0

Last synced .