Module aya.base

Package org.aya.terck

package org.aya.terck
  • Class
    Description
    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.
    Relation.Unknown
    increase or unrelated of callee argument wrt.
    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.