v/vlib/compiler/module_header.v

285 lines
6.8 KiB
V
Raw Normal View History

2019-10-04 14:48:09 +02:00
// Copyright (c) 2019 Alexander Medvednikov. All rights reserved.
// Use of this source code is governed by an MIT license
// that can be found in the LICENSE file.
module compiler
2019-10-04 14:48:09 +02:00
import (
strings
os
)
2019-10-07 00:31:01 +02:00
/*
.vh generation logic.
.vh files contain only function signatures, consts, and types.
2019-10-07 00:31:01 +02:00
They are used together with pre-compiled modules.
2019-10-04 14:48:09 +02:00
*/
// `mod` == "vlib/os"
fn generate_vh(mod string) {
println('\n\n\n\nGenerating a V header file for module `$mod`')
vexe := os.executable()
full_mod_path := os.dir(vexe) + '/' + mod
2019-10-23 14:55:14 +02:00
mod_path := mod.replace('.', os.path_separator)
dir := if mod.starts_with('vlib') {
'$compiler.v_modules_path${os.path_separator}$mod'
} else {
'$compiler.v_modules_path${os.path_separator}$mod'
}
path := dir + '.vh'
pdir := dir.all_before_last(os.path_separator)
if !os.dir_exists(pdir) {
os.mkdir_all(pdir)
// os.mkdir(os.realpath(dir))
}
out := os.create(path) or { panic(err) }
2019-10-23 14:55:14 +02:00
mod_def := if mod.contains('/') { mod.all_after('/') } else { mod } // "os"
out.writeln('// $mod module header \n')
out.writeln('module $mod_def\n')
// Consts
println(full_mod_path)
mut vfiles := os.walk_ext(full_mod_path, '.v')
2019-10-23 12:03:14 +02:00
//mut vfiles := os.ls(full_mod_path) or {
//exit(1)
//}
filtered := vfiles.filter(it.ends_with('.v') && !it.ends_with('test.v') &&
!it.ends_with('_windows.v') && !it.ends_with('_win.v') &&
!it.ends_with('_lin.v') &&
!it.contains('/examples') &&
2019-10-23 12:03:14 +02:00
!it.contains('/js')) // TODO merge once filter allows it
println(filtered)
mut v := new_v(['foo.v'])
//v.pref.generating_vh = true
2019-10-23 11:35:51 +02:00
mut consts := strings.new_builder(100)
mut fns := strings.new_builder(100)
2019-10-23 12:03:14 +02:00
mut types := strings.new_builder(100)
for file in filtered {
mut p := v.new_parser_from_file(file)
2019-10-23 07:18:44 +02:00
p.scanner.is_vh = true
p.parse(.decl)
for i, tok in p.tokens {
if !p.tok.is_decl() {
continue
}
match tok.tok {
.key_fn { fns.writeln(generate_fn(p.tokens, i)) }
.key_const { consts.writeln(generate_const(p.tokens, i)) }
.key_struct { types.writeln(generate_type(p.tokens, i)) }
}
}
}
2019-10-23 12:03:14 +02:00
result := consts.str() + types.str() +
fns.str().replace('\n\n\n', '\n').replace('\n\n', '\n')
2019-10-23 11:54:35 +02:00
out.writeln(result.replace('[ ] ', '[]').replace('? ', '?'))
2019-10-23 11:35:51 +02:00
out.close()
}
2019-10-23 11:35:51 +02:00
fn generate_fn(tokens []Token, i int) string {
mut out := strings.new_builder(100)
mut next := tokens[i+1]
if tokens[i-1].tok != .key_pub {
// Skip private fns
2019-10-23 11:35:51 +02:00
return ''
}
if next.tok == .name && next.lit == 'C' {
println('skipping C')
2019-10-23 11:35:51 +02:00
return ''
}
//out.write('pub ')
mut tok := tokens[i]
for i < tokens.len && tok.tok != .lcbr {
next = tokens[i+1]
out.write(tok.str())
if tok.tok != .lpar && !(next.tok in [.comma, .rpar]) {
// No space after (), [], etc
out.write(' ')
}
i++
tok = tokens[i]
}
2019-10-23 11:35:51 +02:00
return out.str()
}
2019-10-23 11:35:51 +02:00
fn generate_const(tokens []Token, i int) string {
2019-10-23 07:18:44 +02:00
mut out := strings.new_builder(100)
mut tok := tokens[i]
for i < tokens.len && tok.tok != .rpar {
out.write(tok.str())
out.write(' ')
if tokens[i+2].tok == .assign {
out.write('\n\t')
}
i++
tok = tokens[i]
}
out.writeln('\n)')
2019-10-23 11:35:51 +02:00
return out.str()
}
2019-10-23 12:03:14 +02:00
fn generate_type(tokens []Token, i int) string {
mut out := strings.new_builder(100)
mut tok := tokens[i]
for i < tokens.len && tok.tok != .rcbr {
out.write(tok.str())
out.write(' ')
if tokens[i+1].line_nr != tokens[i].line_nr {
out.write('\n\t')
}
i++
tok = tokens[i]
}
out.writeln('\n}')
return out.str()
}
2019-10-23 07:18:44 +02:00
/*
fn (v &V) generate_vh_old() {
2019-10-07 00:31:01 +02:00
println('\n\n\n\nGenerating a V header file for module `$v.mod`')
2019-10-12 21:31:05 +02:00
mod_path := v.mod.replace('.', os.path_separator)
dir := if v.dir.starts_with('vlib') {
2019-10-12 21:31:05 +02:00
'$v_modules_path${os.path_separator}$v.dir'
} else {
2019-10-12 21:31:05 +02:00
'$v_modules_path${os.path_separator}$mod_path'
}
2019-10-04 14:48:09 +02:00
path := dir + '.vh'
2019-10-12 21:31:05 +02:00
pdir := dir.all_before_last(os.path_separator)
if !os.dir_exists(pdir) {
os.mkdir_all(pdir)
// os.mkdir(os.realpath(dir))
2019-10-04 14:48:09 +02:00
}
file := os.create(path) or { panic(err) }
// Consts
mod_def := if v.mod.contains('.') { v.mod.all_after('.') } else { v.mod }
2019-10-04 14:48:09 +02:00
file.writeln('// $v.mod module header \n')
file.writeln('module $mod_def')
2019-10-04 14:48:09 +02:00
file.writeln('// Consts')
if v.table.consts.len > 0 {
file.writeln('const (')
for i, c in v.table.consts {
if c.mod != v.mod {
continue
}
2019-10-13 02:05:11 +02:00
// println('$i $c.name')
2019-10-04 14:48:09 +02:00
//if !c.name.contains('__') {
//continue
//}
name := c.name.all_after('__')
typ := v_type_str(c.typ)
file.writeln('\t$name $typ')
}
file.writeln(')\n')
// Globals
for var in v.table.consts {
if var.mod != v.mod {
continue
}
if !var.is_global {
continue
}
name := var.name.all_after('__')
typ := v_type_str(var.typ)
file.writeln('__global $name $typ')
}
file.writeln('\n')
}
// Types
file.writeln('// Types')
2019-10-04 14:48:09 +02:00
for _, typ in v.table.typesmap {
2019-10-07 00:31:01 +02:00
//println(typ.name)
if typ.mod != v.mod && typ.mod != ''{ // int, string etc mod == ''
2019-10-13 02:05:11 +02:00
// println('skipping type "$typ.name"')
2019-10-04 14:48:09 +02:00
continue
}
if typ.name.contains('_V_MulRet') {
continue
}
2019-10-07 00:31:01 +02:00
mut name := typ.name
2019-10-04 14:48:09 +02:00
if typ.name.contains('__') {
2019-10-07 00:31:01 +02:00
name = typ.name.all_after('__')
2019-10-04 14:48:09 +02:00
}
2019-10-12 03:09:37 +02:00
// type alias
if typ.parent != '' && typ.cat == .alias {
2019-10-12 03:11:07 +02:00
parent := v_type_str(typ.parent)
file.writeln('type $typ.name $parent')
2019-10-12 03:09:37 +02:00
}
2019-10-07 00:31:01 +02:00
if typ.cat in [TypeCategory.struct_, .c_struct] {
c := if typ.is_c { 'C.' } else { '' }
file.writeln('struct ${c}$name {')
2019-10-04 14:48:09 +02:00
// Private fields
for field in typ.fields {
if field.access_mod == .public {
continue
}
2019-10-10 19:02:32 +02:00
field_type := v_type_str(field.typ).replace('*', '&')
2019-10-04 14:48:09 +02:00
file.writeln('\t$field.name $field_type')
}
2019-10-07 00:31:01 +02:00
//file.writeln('pub:')
mut public_str := ''
2019-10-04 14:48:09 +02:00
for field in typ.fields {
if field.access_mod == .private {
continue
}
2019-10-10 19:02:32 +02:00
field_type := v_type_str(field.typ).replace('*', '&')
2019-10-07 00:31:01 +02:00
public_str += '\t$field.name $field_type\n'
//file.writeln('\t$field.name $field_type')
}
if public_str != '' {
file.writeln('pub:' + public_str)
2019-10-04 14:48:09 +02:00
}
file.writeln('}\n')
}
}
// Functions & methods
file.writeln('// Functions')
// Public first
mut fns := []Fn
// TODO fns := v.table.fns.filter(.mod == v.mod)
for _, f in v.table.fns {
2019-10-07 00:31:01 +02:00
if f.mod == v.mod || f.mod == ''{
2019-10-04 14:48:09 +02:00
fns << f
2019-10-07 00:31:01 +02:00
} else {
//println('skipping fn $f.name mod=$f.mod')
2019-10-04 14:48:09 +02:00
}
}
for _, f in fns {
if !f.is_public {
continue
}
file.writeln(f.v_definition())
}
// Private
for _, f in fns {
if f.is_public {
continue
}
file.writeln(f.v_definition())
}
// Methods
file.writeln('\n// Methods //////////////////')
for _, typ in v.table.typesmap {
if typ.mod != v.mod && !(v.mod == 'builtin' && typ.mod == '') {
2019-10-13 02:05:11 +02:00
// println('skipping method typ $typ.name mod=$typ.mod')
2019-10-04 14:48:09 +02:00
continue
}
for method in typ.methods {
file.writeln(method.v_definition())
}
}
file.close()
/*
for i, p in v.parsers {
if v.parsers[i].vh_lines.len > 0 {
os.write_file(p.file_name +'.vh', v.parsers[i].vh_lines.join('\n'))
}
}
*/
}
2019-10-23 07:18:44 +02:00
*/
2019-10-04 14:48:09 +02:00