模块 aya.base

程序包 org.aya.terck

package org.aya.terck
  • 类
    说明
    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.
    Diagonal<T,P>
     
    Relation
    Relations between size of formal function parameter and function argument in one recursive call.
    Relation.Decrease
    decrease of callee argument wrt. caller parameter
    Relation.Unknown
    increase or unrelated of callee argument wrt. caller parameter.
    Selector
     
    Selector.Candidate<T>
     
    Selector.DecrOrd
    A weaker Relation used in decrease amount (speed) comparison
    Selector.Evolve<A>
    The new one is better, and it beats all Selector.Evolve.junks, but it still worse than Selector.Evolve.betters
    Selector.Result<T>
     
    Selector.Useless<A>
    The old one is better, The new one is useless.