In STAAD.Pro, the SPRING TENSION or SPRING COMPRESSION command can be used to limit the load direction the support spring may carry. The analysis will be performed accordingly.