22 lines
381 B
Coq
22 lines
381 B
Coq
|
module main
|
||
|
|
||
|
struct GenericProcessor {
|
||
|
name string
|
||
|
}
|
||
|
|
||
|
struct GenericCrusherProcessor {
|
||
|
//GenericProcessor
|
||
|
mut:
|
||
|
name string
|
||
|
}
|
||
|
|
||
|
fn new_generic_crusher_processor() &GenericCrusherProcessor {
|
||
|
gcp := &GenericCrusherProcessor{}
|
||
|
gcp.name = "generic_crusher_processor"
|
||
|
return gcp
|
||
|
}
|
||
|
|
||
|
fn (gpc &GenericCrusherProcessor) process(ob &Object) {
|
||
|
println("processing object: ${ob.name}")
|
||
|
}
|