Module org.kink_lang.kink

Package org.kink_lang.kink.internal.program.itree

Class ContentAnalysis

java.lang.Object

org.kink_lang.kink.internal.program.itree.ContentAnalysis

public final class ContentAnalysis
extends Object

Analyzes contents of local vars in ssa-funs.

Method Summary

Modifier and Type	Method	Description
static Map<LocalVar,LocalVarContent>	analyzeContent(Itree body)	Returns the mapping from local vars to the contents.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

analyzeContent

public static Map<LocalVar,LocalVarContent> analyzeContent(Itree body)

Returns the mapping from local vars to the contents.

Parameters:

body - the fun body to analyze.

Returns:

the mapping from local vars to the contents.