/Users/dbr/ma/src/bas/lml/cmd/cmdCompressedAutomatonLang.c

Go to the documentation of this file.

#ifndef CMDCOMPRESSEDAUTOMATONLANG_C
#define CMDCOMPRESSEDAUTOMATONLANG_C

#include "../base.h"

void DumpSequenceOfLabels( FILE * fp, const VoidSequence * suffix, UINT encoding ){
    if( suffix->seqStored > 0 ){
        UINT i;

        for( i = 0; i < suffix->seqStored-1; i++ ){
            PrintSymbol( mVoidSequenceElement(suffix, i), fp, suffix->elementSize, encoding );
        }
        PrintLine( fp, suffix->elementSize, encoding );
    }
}

void CmdCompressedAutomatonLang( const S8 * fileNameInput, const S8 * fileNameOutput, UINT encoding ){
    FILE * fpInput;
    FILE * fpOutput;
    CompressedAutomaton * aut;

    fpInput = Fopen( fileNameInput, "rb" );
    aut = CompressedAutomatonRead( fpInput );
    Fclose( fpInput );

    fpOutput = Fopen( fileNameOutput, "wb" );
    CompressedAutomatonGenerateLanguage( aut, fpOutput, DumpSequenceOfLabels, encoding );
    Fclose( fpOutput );
    CompressedAutomatonFree( aut );
}

void CmdCompressedAutomatonStat( const S8 * fileNameInput, const S8 * fileNameOutput ){
    FILE * fpInput;
    FILE * fpOutput;
    CompressedAutomaton * aut;

    fpInput = Fopen( fileNameInput, "rb" );
    aut = CompressedAutomatonRead( fpInput );
    Fclose( fpInput );

    fpOutput = Fopen( fileNameOutput, "wt" );
    CompressedAutomatonDumpStat( aut, fpOutput );
    Fclose( fpOutput );
    CompressedAutomatonFree( aut );
}

void CmdSCDAWGStat( const S8 * fileNameInput, const S8 * fileNameOutput ){
    FILE * fpInput;
    FILE * fpOutput;
    SCDAWG * aut;

    fpInput = Fopen( fileNameInput, "rb" );
    aut = SCDAWGRead( fpInput );
    Fclose( fpInput );

    fpOutput = Fopen( fileNameOutput, "wt" );
    SCDAWGDumpStat( aut, fpOutput );
    Fclose( fpOutput );
    SCDAWGFree( aut );
}

void DumpLabel( const CompressedAutomaton * aut, FILE * fp, UINT tr, UINT encoding ){
    UINT i, end;
    const void * symbol;
    mSymbolAndVariables( dollar )

    mSymbolAssignValue( dollar, '$', aut->data->elementSize )
    end = aut->statesEnd->seq[aut->transitionsTo->seq[tr]];
    for( i = aut->transitionsStart->seq[tr]; i <= end; i++ ){
        symbol = mVoidSequenceElement(aut->data, i);
        if( SymbolToUINT( symbol, aut->data->elementSize ) == 0 ){
            PrintSymbol( dollar, fp, aut->data->elementSize, encoding );
        }
        else{
            PrintSymbol( symbol, fp, aut->data->elementSize, encoding );
        }
    }
}

void CmdCompressedAutomatonDumpGV( const S8 * fileNameInput, const S8 * fileNameOutput, UINT encoding ){
    FILE * fpInput;
    FILE * fpOutput;
    CompressedAutomaton * aut;

    fpInput = Fopen( fileNameInput, "rb" );
    aut = CompressedAutomatonRead( fpInput );
    Fclose( fpInput );

    fpOutput = Fopen( fileNameOutput, "wt" );
    CompressedAutomatonDumpGV( aut, fpOutput, DumpLabel, encoding );
    Fclose( fpOutput );
    CompressedAutomatonFree( aut );
}

//static
void DumpSCDAWGLabel( const SCDAWG * aut, FILE * fp, UINT tr, boolean right, UINT encoding ){
    UINT i, n, end;
    const void * symbol;
    mSymbolAndVariables( dollar )
    mSymbolAndVariables( sharp )

    mSymbolAssignValue( dollar, '$', aut->right->data->elementSize )
    mSymbolAssignValue( sharp, '#', aut->right->data->elementSize )
    if( right ){
        end = aut->right->statesEnd->seq[aut->right->transitionsTo->seq[tr]];
        for( i = aut->right->transitionsStart->seq[tr]; i <= end; i++ ){
            symbol = mVoidSequenceElement(aut->right->data, i);
            n = SymbolToUINT( symbol, aut->right->data->elementSize );
            if( n == 0 ){
                PrintSymbol( dollar, fp, aut->right->data->elementSize, encoding );
            }
            else if( n == 1 ){
                PrintSymbol( sharp, fp, aut->right->data->elementSize, encoding );
            }
            else{
                PrintSymbol( symbol, fp, aut->right->data->elementSize, encoding );
            }
        }
    }
    else{
        end = aut->left->statesEnd->seq[aut->left->transitionsTo->seq[tr]];
        for( i = aut->left->transitionsStart->seq[tr] + 1; i > end; i-- ){
            symbol = mVoidSequenceElement(aut->right->data, i-1);
            n = SymbolToUINT( symbol, aut->right->data->elementSize );
            if( n == 0 ){
                PrintSymbol( dollar, fp, aut->right->data->elementSize, encoding );
            }
            else if( n == 1 ){
                PrintSymbol( sharp, fp, aut->right->data->elementSize, encoding );
            }
            else{
                PrintSymbol( symbol, fp, aut->right->data->elementSize, encoding );
            }
        }
    }
}

void CmdSCDAWGDumpGV( const S8 * fileNameInput, const S8 * fileNameOutput, UINT encoding ){
    FILE * fpInput;
    FILE * fpOutput;
    SCDAWG * aut;

    fpInput = Fopen( fileNameInput, "rb" );
    aut = SCDAWGRead( fpInput );
    Fclose( fpInput );

    fpOutput = Fopen( fileNameOutput, "wt" );
    SCDAWGDumpGV( aut, fpOutput, DumpSCDAWGLabel, encoding );
    Fclose( fpOutput );
    SCDAWGFree( aut );
}

void DumpSequenceOfLabels2( FILE * fp, const VoidSequence * suffix, UINT encoding ){
    UINT i;

    if( suffix->seqStored == 0 ){
        return;
    }
    if( SymbolToUINT( mVoidSequenceElement(suffix, 0), suffix->elementSize ) == 0 ){
        return;
    }
    for( i = 0; i < suffix->seqStored-1; i++ ){
        PrintSymbol( mVoidSequenceElement(suffix, i), fp, suffix->elementSize, encoding );
    }
    PrintLine( fp, suffix->elementSize, encoding );
}

void SCDAWGLeftLang( const S8 * fileNameInput, const S8 * fileNameOutput, UINT encoding ){
    FILE * fpInput;
    FILE * fpOutput;
    SCDAWG * aut;

    fpInput = Fopen( fileNameInput, "rb" );
    aut = SCDAWGRead( fpInput );
    Fclose( fpInput );

    fpOutput = Fopen( fileNameOutput, "wb" );
    aut->left->data = aut->right->data;
    CompressedLeftAutomatonGenerateLanguage( aut->left, fpOutput, DumpSequenceOfLabels2, encoding );
    aut->left->data = NULL;
    Fclose( fpOutput );
    SCDAWGFree( aut );
}

#endif /* end of include guard: CMDCOMPRESSEDAUTOMATONLANG_C */