模块 org.aya

程序包 org.aya.terck

package org.aya.terck
  • 类
    说明
    Behavior<T,P>
     
    Behavior.Diag<T,P>
     
    CallGraph<T,P>
    Call graph is a multi-graph; each vertex represents a definition and each edge from vertex `f` to vertex `g` represents a call to `g` within `f`.
    CallMatrix<Def,Param>
    A call matrix for a call `f --> g` has dimensions `arity(g) * arity(f)`.
    CallResolver
    Resolve calls and build call graph of recursive functions, after StmtTycker.
    Relation
    Relations between size of formal function parameter and function argument in one recursive call.